Trace theory for automatic hierarchical verification of speed-independent circuits

• Authors:

• D. L. Dill

• Affiliations:

• -

• Venue:
• Proceedings of the fifth MIT conference on Advanced research in VLSI
• Year:
• 1988