Sciweavers

Share
DATE
2002
IEEE

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

9 years 7 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
Added 14 Jul 2010
Updated 14 Jul 2010
Type Conference
Year 2002
Where DATE
Authors Marco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor
Comments (0)
books