ICSE
1992
IEEE-ACM
14 years 4 months ago
1992
IEEE-ACM
This paper presents the tools Ald
DAC
1994
ACM
14 years 4 months ago
1994
ACM
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
TPHOL
1999
IEEE
14 years 4 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
DATE
1999
IEEE
14 years 4 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
DATE
2002
IEEE
14 years 5 months ago
2002
IEEE
ions + Assume Guarantee + Induction GOAL: Formal verification of the IPCMOS architecture
ISQED
2003
IEEE
14 years 5 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
ICCS
2007
Springer
14 years 6 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
FMCAD
2007
Springer
14 years 6 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
DFT
2009
IEEE
14 years 7 months ago
2009
IEEE
Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resourc...
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
15 years 12 days ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...