7 search results - page 1 / 2 » Embedded tutorial: formal equivalence checking between syste... |
ICCAD
2005
IEEE
13 years 10 months ago
2005
IEEE
MEMOCODE
2007
IEEE
13 years 11 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
DAC
2007
ACM
13 years 8 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
DAC
1996
ACM
13 years 9 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...