Sponsor
Portland State University. Department of Electrical Engineering
First Advisor
Marek Perkowski
Term of Graduation
Fall 2000
Date of Publication
2000
Document Type
Thesis
Degree Name
Master of Science (M.S.) in Electrical Engineering
Department
Electrical Engineering
Language
English
Subjects
Computer-aided design, Computer algorithms, VHDL (Computer hardware description language), Garbage collection (Computer science), Algorithms
DOI
10.15760/etd.3627
Physical Description
1 online resource (v, 121 pages)
Abstract
Binary Decision Diagrams (BDDs) are an extremely important data structure used in many logic design, synthesis and verification applications. Symbolic problem representations make BDDs a feasible data structure for use on many problems that have discrete representations. Efficient implementations of BOD algorithms on general purpose computers has made manipulating large binary decision diagrams possible. Much research has gone into making BOD algorithms more efficient on general purpose computers. Despite amazing increases in performance and capacity of such computers over the last decade, they may not be the best way to solve large, specialized problems. A computer architecture designed specifically to execute algorithms on binary decision diagrams has been created here to evaluate the possible performance improvements in BOD manipulation. This specialized computer will be described and its implementation discussed with respect to the important aspects of efficient BDD manipulations. This thesis will demonstrate that significant performance increases are possible using a specialized computer architecture for manipulating binary decision diagrams.
Rights
In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/
This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).
Persistent Identifier
https://archives.pdx.edu/ds/psu/40774
Recommended Citation
Hatt, Robert K., "Design and Evaluation of a Specialized Computer Architecture for Manipulating Binary Decision Diagrams" (2000). Dissertations and Theses. Paper 6491.
https://doi.org/10.15760/etd.3627
Comments
If you are the rightful copyright holder of this dissertation or thesis and wish to have it removed from the Open Access Collection, please submit a request to pdxscholar@pdx.edu and include clear identification of the work, preferably with URL.