Abstract timing verification for synchronous digital systems

• Authors:

• David Edward Wallace;Carlo H. Sequin

• Affiliations:

• -;-

• Venue:
• Abstract timing verification for synchronous digital systems
• Year:
• 1988