VHDL/S — integrating statecharts, timing diagrams, and VHDL
- 30 September 1993
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 38 (1-5) , 571-580
- https://doi.org/10.1016/0165-6074(93)90197-s
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- What is in a step: On the semantics of statechartsPublished by Springer Nature ,1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986