759 search results - page 17 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
TVLSI
2008
14 years 9 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
MTSR
2007
Springer
15 years 3 months ago
2007
Springer
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
WEBI
2007
Springer
15 years 3 months ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...