Incremental timing verification in top-down, bottom-up designs using constraint propagation

• Authors:

• Sundaravarathan R. Iyengar

• Affiliations:

• -

• Venue:
• Incremental timing verification in top-down, bottom-up designs using constraint propagation
• Year:
• 1987