Ordered Binary Decision Diagrams for Optimization in Symbolic Switch-level Analysis of MOS Circuits PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Ordered Binary Decision Diagrams for Optimization in Symbolic Switch-level Analysis of MOS Circuits PDF full book. Access full book title Ordered Binary Decision Diagrams for Optimization in Symbolic Switch-level Analysis of MOS Circuits by Karl S. Brace. Download full books in PDF and EPUB format.
Author: Karl S. Brace
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 142
Get Book Here
Book Description
Furthermore, the novel techniques presented here for controlling OBDD size will likely generalize to other applications as well."
Author: Karl S. Brace
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 142
Get Book Here
Book Description
Furthermore, the novel techniques presented here for controlling OBDD size will likely generalize to other applications as well."
Author:
Publisher:
ISBN:
Category : Dissertations, Academic
Languages : en
Pages : 826
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Dissertation abstracts
Languages : en
Pages : 796
Get Book Here
Book Description
Author: Kwee Hua Ang
Publisher:
ISBN:
Category :
Languages : en
Pages : 81
Get Book Here
Book Description
The Binary Decision Diagram (BDD) is a very useful representation in the design and verification of switching functions. This is due to to its compactness, where size is measured by the number of nodes. In the implementation of logic circuits, connection of sub-functions is by means of pass transistors. The delay time for the interconnections is often larger than the delay of the decision logic. For that reason, crossings are often more expensive than logic. Planar Binary Decision Diagrams are therefore desirable in implementing logic circuits. This paper presents a method for finding a planar Ordered Binary Decision Diagram (OBDD) for threshold functions. The program that implements the algorithm is written in Borland C++. A special case of Fibonacci threshold function having up to 9 variables is analyzed. It is shown that Fibonacci functions having up to 9 variables have planar OBDD. With this program, the characteristics of other threshold functions are developed.
Author: Kwee Hua Ang
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Get Book Here
Book Description
The Binary Decision Diagram (BDD) is a very useful representation in the design and verification of switching functions. This is due to to its compactness, where size is measured by the number of nodes. In the implementation of logic circuits, connection of sub-functions is by means of pass transistors. The delay time for the interconnections is often larger than the delay of the decision logic. For that reason, crossings are often more expensive than logic. Planar Binary Decision Diagrams are therefore desirable in implementing logic circuits. This paper presents a method for finding a planar Ordered Binary Decision Diagram (OBDD) for threshold functions. The program that implements the algorithm is written in Borland C++. A special case of Fibonacci threshold function having up to 9 variables is analyzed. It is shown that Fibonacci functions having up to 9 variables have planar OBDD. With this program, the characteristics of other threshold functions are developed.
Author: R. E. Bryant
Publisher:
ISBN:
Category : Boolean functions
Languages : en
Pages : 0
Get Book Here
Book Description
Researchers have thus solved a number of problems in digital system design, finite state system analysis, artificial intelligence, and mathematical logic. This paper describes the OBDD data structure, and surveys a number of applications that have been solved by OBDD-based symbolic analysis."
Author: Randal E. Bryant
Publisher:
ISBN:
Category : Boolean functions
Languages : en
Pages : 35
Get Book Here
Book Description
Researchers have thus solved a number of problems in digital system design, finite state system analysis, artificial intelligence, and mathematical logic. This paper describes the OBDD data structure, and surveys a number of applications that have been solved by OBDD-based symbolic analysis."
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 2240
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 2264
Get Book Here
Book Description
Since its creation in 1884, Engineering Index has covered virtually every major engineering innovation from around the world. It serves as the historical record of virtually every major engineering innovation of the 20th century. Recent content is a vital resource for current awareness, new production information, technological forecasting and competitive intelligence. The world?s most comprehensive interdisciplinary engineering database, Engineering Index contains over 10.7 million records. Each year, over 500,000 new abstracts are added from over 5,000 scholarly journals, trade magazines, and conference proceedings. Coverage spans over 175 engineering disciplines from over 80 countries. Updated weekly.
Author: Institute of Electrical and Electronics Engineers
Publisher:
ISBN:
Category : Electric engineering
Languages : en
Pages : 832
Get Book Here
Book Description
Issues for 1973- cover the entire IEEE technical literature.
