Fifth Great Lakes Symposium on VLSI (GLSVLSI'95)
Optimization using implicit techniques for industrial designs
The State University of New York at Buffalo
March 16-March 18
ISBN: 0-8186-7035-5
F. Poirot, Compass Design Autom., Sophia-Antipolis, France
G. Tarroux, Compass Design Autom., Sophia-Antipolis, France
R. Roane, Compass Design Autom., Sophia-Antipolis, France
The increasing complexity of industrial designs progressively obsoletes classical Boolean optimization techniques. Thus, the application of Binary Decision Diagrams in Logic Synthesis becomes an attractive alternative to push forward the design complexity. In this paper, we develop new Optimization techniques only based on implicit techniques; all steps were completely reformulated to provide a powerful system.
Index Terms:
hardware description languages; Boolean functions; logic CAD; circuit optimisation; implicit techniques; industrial designs; binary decision diagrams; logic synthesis; design complexity; optimization techniques; Boolean functions; hardware description languages
Citation:
F. Poirot, G. Tarroux, R. Roane, "Optimization using implicit techniques for industrial designs," glsvlsi, pp.8, Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995