For the most recent entries see the Petri Nets Newsletter.

A Framework for Automated Static Analysis of VHDL.

Olcoz, S.; Colom, J.M.

In: Procs of the First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93), Brisbane, QLD, Australia, pages 71-75. 1993.

Abstract: This paper describes a framework for automated static analysis of VHDL based on Petri Nets. The environment provides facilities for analysis and simulation. The approach is based on a formal model of the VHDL simulation semantics. Some tools implementing this approach are currently under development in FORMAT project (CEC ESPRIT III project 6128).

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography