A Colored Petri Net model of VHDL
- 1 August 1995
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 7 (1-2) , 101-123
- https://doi.org/10.1007/bf01383875
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A Petri Net approach for the analysis of VHDL descriptionsPublished by Springer Nature ,2005
- Toward a formal semantics of IEEE Std. VHDL 1076Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Clean formal semantics for VHDLPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Analysis tools applied to VHDLMicroprocessing and Microprogramming, 1993
- Formal proofs from HDL descriptionsPublished by Springer Nature ,1993