An OBDD-representation of statecharts
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 142-149
- https://doi.org/10.1109/edtc.1994.326884
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A net-based semantics for VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Specification and verification of system-level hardware designs using time diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Symbolic model checking: 10/sup 20/ states and beyondPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983