Statistical timing verification and delay fault detection by formal signal interaction modeling in a multi-level timing simulator

• Authors:

• Jacques Benkoski

• Affiliations:

• -

• Venue:
• Statistical timing verification and delay fault detection by formal signal interaction modeling in a multi-level timing simulator
• Year:
• 1989