For the most recent entries see the Petri Nets Newsletter.

Analysis Tools Applied to VHDL.

Olcoz, S.; Colom, J.M.

In: Microprocessing and Microprogramming. The EUROMICRO Journal, vol. 38, no. 1, pages 597-604. 1993.

Also in: Procs. of the Euromicro'93 Conference. Open System Design: Hardware, Software and Applications, Barcelona, Spain, pages 597-604. 1993.

Abstract: This paper shows how formal methods can be applied inside the world of VHDL. The approach is based in a formal semantics of VHDL in terms of Coloured Petri nets. Verification of properties use the Petri net analysis theory, with special attention to the structural theory. Tools implementing this approach are currently under development in FORMAT project (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