Using statecharts for hardware description and synthesis
- 1 July 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 8 (7) , 798-807
- https://doi.org/10.1109/43.31537
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- On the power of cooperative concurrencyPublished by Springer Nature ,1988
- Modelling statecharts behaviour in a fully abstract wayPublished by Springer Nature ,1988
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- On the Development of Reactive SystemsPublished by Springer Nature ,1985
- Techniques for programmable logic array foldingPublished by Association for Computing Machinery (ACM) ,1982
- Why systolic architectures?Computer, 1982
- Bounds on minimax edge length for complete binary treesPublished by Association for Computing Machinery (ACM) ,1981
- On the area of binary tree layoutsInformation Processing Letters, 1980
- Complexity measures for regular expressionsJournal of Computer and System Sciences, 1976