154 search results - page 15 / 31 » A Formal Verification Approach for IP-based Designs |
111
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
130
click to vote
BCS
2008
15 years 3 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
158
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
114
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
111
Voted
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...