Mechanically verifying safety and liveness properties of delay insensitive circuits

• Authors:

• David M. Goldschlag

• Affiliations:

• -

• Venue:
• Formal Methods in System Design
• Year:
• 1994