A Case Study for the Verification of Complex Timed Circuits: IPCMOS.

Marco A. Pea, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor

Browse the full DATE paper archive.