A state assignment procedure for single-block implementation of state charts
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 10 (12) , 1569-1576
- https://doi.org/10.1109/43.103506
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Symbolic cover minimization of fully I/O specified finite state machinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1990
- Using statecharts for hardware description and synthesisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- On the power of cooperative concurrencyPublished by Springer Nature ,1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Optimal State Assignment for Finite State MachinesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1985
- On the Development of Reactive SystemsPublished by Springer Nature ,1985