4 search results - page 1 / 1 » Equivalence Checking Using Cuts and Heaps |
DAC
1997
ACM
13 years 8 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...