Toward a formal semantics of IEEE Std. VHDL 1076

This publication has 6 references indexed in Scilit:

• A Petri Net approach for the analysis of VHDL descriptions
  Published by Springer Nature ,2005
• On optimal extraction of combinational logic and don't care sets from hardware description languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The V compiler: automatic hardware design
  IEEE Design & Test of Computers, 1989
• VLSI design language standardization effort in Japan
  Published by Association for Computing Machinery (ACM) ,1989
• CONLAN Report
  Published by Springer Nature ,1983
• Computer hardware description languages—A tutorial
  Proceedings of the IEEE, 1979