1914 search results - page 56 / 383 » Verification by Abstract Interpretation |
159
click to vote
DAC
1996
ACM
15 years 4 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
113
click to vote
FMCAD
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
94
Voted
FCSC
2008
15 years 17 days ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
106
Voted
SEUS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
67
Voted
FUIN
2006
15 years 15 days ago
2006
Abstract. We introduce generalized trajectories where the individual symbols are interpreted as operations performed on the operand words. The various previously considered traject...