Induced hierarchical verification of asynchronous circuits using a partial order technique

• Authors:

• Peter A. Beerel;Vida Vakilotojar

• Affiliations:

• -;-

• Venue:
• Induced hierarchical verification of asynchronous circuits using a partial order technique
• Year:
• 2000