222 search results - page 6 / 45 » Efficient assertion based verification using TLM |
104
click to vote
CAV
1998
Springer
15 years 4 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
JMLR
2010
14 years 6 months ago
2010
This paper focuses on the use of nuclear DNA Short Tandem Repeat traits for the identification of the victims of a Mass Fatality Incident. The goal of the analysis is the assessme...
DEXA
2004
Springer
15 years 3 months ago
2004
Springer
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
117
click to vote
DT
2006
14 years 12 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
107
click to vote
ICCD
2000
IEEE
15 years 3 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...