iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/ASPDAC.2007.358110
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets | IEEE Conference Publication | IEEE Xplore
