Timing verification of microprocessor-based designs

• Authors:

• Anurag Prakash Gupta

• Affiliations:

• Carnegie-Mellon Univ., Pittsburgh, PA

• Venue:
• Timing verification of microprocessor-based designs
• Year:
• 1994