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

14 years 4 months ago

ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture

Marco A. Peña, Jordi Cortadella, Alexander

Assume Guarantee | DATE 2002 | Formal Verification | Hardware | Induction GOAL |

claim paper

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)