2 search results - page 1 / 1 » SAT sweeping with local observability don't-cares |
80
Voted
DAC
2006
ACM
15 years 11 months ago
2006
ACM
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
80
Voted
ASPDAC
2007
ACM
15 years 2 months ago
2007
ACM
Abstract-- SAT sweeping is the process of merging two or more functionally equivalent nodes in a circuit by selecting one of them to represent all the other equivalent nodes. This ...