Title :
Optimization using implicit techniques for industrial designs
Author :
Poirot, Franck ; Tarroux, Gerard ; Roane, R.
Author_Institution :
Compass Design Autom., Sophia-Antipolis, France
Abstract :
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
Keywords :
Boolean functions; circuit optimisation; hardware description languages; logic CAD; Boolean functions; binary decision diagrams; design complexity; hardware description languages; implicit techniques; industrial designs; logic synthesis; optimization techniques; Binary decision diagrams; Boolean functions; Data structures; Design automation; Design optimization; Hardware design languages; Logic design; Logic functions; Signal design; Testing;
Conference_Titel :
VLSI, 1995. Proceedings., Fifth Great Lakes Symposium on
Conference_Location :
Buffalo, NY
Print_ISBN :
0-8186-7035-5
DOI :
10.1109/GLSV.1995.516016