Computer Science – Logic in Computer Science
Scientific paper
2007-10-25
Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)
Computer Science
Logic in Computer Science
Submitted on behalf of EDAA (http://www.edaa.com/)
Scientific paper
This paper describes an improved approach to Boolean network optimization using internal don't-cares. The improvements concern the type of don't-cares computed, their scope, and the computation method. Instead of the traditionally used compatible observability don't-cares (CODCs), we introduce and justify the use of complete don't-cares (CDC). To ensure the robustness of the don't-care computation for very large industrial networks, a optional windowing scheme is implemented that computes substantial subsets of the CDCs in reasonable time. Finally, we give a SAT-based don't-care computation algorithm that is more efficient than BDD-based algorithms. Experimental results confirm that these improvements work well in practice. Complete don't-cares allow for a reduction in the number of literals compared to the CODCs. Windowing guarantees robustness, even for very large benchmarks on which previous methods could not be applied. SAT reduces the runtime and enhances robustness, making don't-cares affordable for a variety of other Boolean methods applied to the network.
Brayton Robert K.
Mishchenko Alan
No associations
LandOfFree
SAT-Based Complete Don't-Care Computation for Network Optimization does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with SAT-Based Complete Don't-Care Computation for Network Optimization, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SAT-Based Complete Don't-Care Computation for Network Optimization will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-431842