Off-campus UMass Amherst users: To download dissertations, please use the following link to log into our proxy server with your UMass Amherst user name and password.

Non-UMass Amherst users, please click the view more button below to purchase a copy of this dissertation from Proquest.

(Some titles may also be available free of charge in our Open Access Dissertation Collection, so please check there first.)

BDD-based logic synthesis system

Congguang Yang, University of Massachusetts - Amherst

Abstract

Binary decision diagrams (BDDs) is the most efficient Boolean logic representation found so far. In this dissertation, a new BDD-based logic synthesis system is presented. The system is based on a new BDD decomposition theory which supports both algebraic and Boolean factorization. New techniques, which are crucial to the manipulation of BDDs in a partitioned Boolean network environment, are described in detail. The experimental results show that our logic synthesis system has a capability to handle very large circuits. It offers a superior run-time advantage over the state-of-the-art logic synthesis system, with comparable results in terms of circuit area and often improved delay. ^

Subject Area

Engineering, Electronics and Electrical|Computer Science

Recommended Citation

Congguang Yang, "BDD-based logic synthesis system" (January 1, 2000). Doctoral Dissertations Available from Proquest. Paper AAI9960805.
http://scholarworks.umass.edu/dissertations/AAI9960805

Share

COinS