Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

DATE
2002
IEEE

favoriteEmaildiscussreport

108views Hardware» more DATE 2002»

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

13 years 9 months ago

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

Download personals.ac.upc.edu

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

Marco A. Peña, Jordi Cortadella, Alexander

Real-time Traffic

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

claim paper

Related Content

» Development of ASIC ChipSet for HighEnd Network Processing ApplicationA Case Study

» A mixedsignal verification kit for verification of analoguedigital circuits

» TimeComplexity of Multilayered DNA Strand Displacement Circuits

» Systematic Correct Construction of Selfstabilizing Systems A Case Study

» A MultiLevel Design Flow for Incorporating IP Cores Case Study of 1D Wavelet IP Integratio...

» A System Design Methodology for Reducing System Integration Time and Facilitating Modular ...

» Softwarefriendly HWSW cosimulation an industrial case study

» The Rigorous Implementation of a Fair Exchange Protocol for Nonrepudiable Web Service Inte...

» Aiding Modular Design and Verification of SafetyCritical TimeTriggered Systems by Use of E...

Post Info
More Details (n/a)

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)