Sciweavers

DATE
2002
IEEE
108views Hardware» more  DATE 2002»
14 years 3 months ago
A Case Study for the Verification of Complex Timed Circuits: IPCMOS
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
Marco A. Peña, Jordi Cortadella, Alexander ...