Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
January 24, 2010 | History

Managing circuit don't cares in Boolean satisfiability 1 edition

Managing circuit don't cares in Boolean satisfiability
Sean A. Safarpour

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book


Cor blimey. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Managing circuit don't cares in Boolean satisfiability.

Published 2005 .
Written in English.

About the Book

Boolean Satisfiability solvers are widely used in many VLSI Computer Aided Design applications. Their popularity is due to recent developments such as effective search space pruning, decision making, and learning from previous mistakes. Most SAT algorithms and performance improvement techniques focus on the core engine and do not exploit circuit specific properties. Historically, properties such as don't care conditions have played an important role in problems such as test pattern generation and circuit synthesis. This thesis presents a number of techniques that increase SAT solver performance by taking advantage of circuit don't care conditions. General strategies and specific heuristics are developed that utilize a circuit's observability don't cares; controllability don't cares, and don't care states to improve SAT solver efficiency for formal verification problems. Extensive experiments demonstrate the benefits of don't care conditions on benchmark suites as well as industrial circuits.

Edition Notes

Source: Masters Abstracts International, Volume: 44-02, page: 1004.

Thesis (M.A.Sc.)--University of Toronto, 2005.

Electronic version licensed for access by U. of T. users.

GERSTEIN MICROTEXT copy on microfiche (2 microfiches).

The Physical Object

Pagination
98 leaves.
Number of pages
98

ID Numbers

Open Library
OL19216956M
ISBN 10
0494072784

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

January 24, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page