Translating VHDL into functional symbolic finite-state models

• Authors:

• Gert Döhmen;Ronald Herrmann;Hergen Pargmann

• Affiliations:

• -;-;-

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