A flowgraph semantics of VHDL: toward a VHDL verification workbench in HOL

• Authors:

• Ralf Reetz;Thomas Kropf

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design - Special issue on VHDL semantics
• Year:
• 1995