Name
Abstract | ||
|---|---|---|
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the functions for the different bits of a word differ only in the data bit while the address decoding part of the function is identical. We present a symbolic representation approach using ordered function templates to exploit such regularity.Templates specify functionality without being bound to a specific set of variables. Functions are obtained by instantiating templates with a list of variables. We ensure canonicity of the representation by requiring that templates are normalized and argument lists are ordered. We also present algorithms for performing Boolean operations using this representation. Experiments with a prototype implementation built on top of CUDD indicate that function templates can dramatically reduce memory requirements for symbolic simulation of regular circuits. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1145/775832.775946 | DAC |
Keywords | Field | DocType |
boolean function,symbolic simulation,function template,memory requirement,boolean operation,binary decision diagrams,present algorithm,argument list,symbolic representation approach,memory circuit,formal verification,decoding,binary decision diagram,boolean functions,computer science,logic simulation,prototypes,data structures,logic design,boolean operations,labeling,circuits | Boolean function,Data structure,Symbolic simulation,Computer science,Binary decision diagram,Theoretical computer science,Logic simulation,Decoding methods,Template,Formal verification | Conference |
ISSN | ISBN | Citations |
0738-100X | 1-58113-688-9 | 1 |
PageRank | References | Authors |
0.36 | 7 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Amit Goel | 1 | 279 | 21.29 |
| Gagan Hasteer | 2 | 32 | 4.61 |
| Randal E. Bryant | 3 | 9204 | 1194.64 |