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
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. ^
Engineering, Electronics and Electrical|Computer Science
Yang, Congguang, "BDD-based logic synthesis system" (2000). Doctoral Dissertations Available from Proquest. AAI9960805.