DMCA
Boolean Function Representation and Spectral Characterization Using AND/OR Graphs (2000)
| Venue: | INTEGRATION, The VLSI journal |
| Citations: | 1 - 0 self |
BibTeX
@ARTICLE{Zuzek00booleanfunction,
author = {A. Zuzek and R. Drechsler and M. A. Thornton},
title = {Boolean Function Representation and Spectral Characterization Using AND/OR Graphs},
journal = {INTEGRATION, The VLSI journal},
year = {2000},
volume = {29},
pages = {101--106}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Methods based on AND/OR graph representations of Boolean relations provide a promising new way of approaching VLSI CAD design automation problems. AND/OR graphs can represent any Boolean network and they allow for systematic reasoning through the application of the technique of recursive learning. An approach to build and analyze AND/OR graphs that makes use of hashing techniques in a way similar to that for modern Decision Diagram (DD) packages is described. Additionally, the problem of extracting spectral information from AND/OR graphs is also examined. Spectral information can be used for many CAD system tasks including synthesis, verification and test vector generation. It is shown that spectral information may be calculated directly from output probabilities and a method for estimating output probabilities from AND/OR graphs is presented. Experimental results regarding the AND/OR graph package efficiency and the extraction of spectral information are provided. 1 Introdu...
Keyphrases
spectral information spectral characterization using graph boolean function representation output probability boolean network recursive learning promising new way vlsi cad design automation problem graph package efficiency boolean relation many cad system task modern decision diagram experimental result test vector generation systematic reasoning graph representation
