DocumentCode :
2995150
Title :
LOT: Logic optimization with testability - new transformations using recursive learning
Author :
Chatterjee, M. ; Pradhan, D.K. ; Kunz, W.
Author_Institution :
Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
fYear :
1995
fDate :
5-9 Nov. 1995
Firstpage :
318
Lastpage :
325
Abstract :
A new approach to optimize multi-level logic circuits is introduced. Given a multi-level circuit, the synthesis method optimizes its area, simultaneously enhancing its random pattern testability. The method is based on structural transformations at the gate level. New transformations involving EX-OR gates derived based on indirect implications by Recursive Learning have been introduced in the synthesis of multi-level circuits. This method is augmented with transformations that specifically enhance random-pattern testability while reducing the area. Testability enhancement is an integral part of our synthesis methodology. Experimental results show that the proposed methodology can not only realize lower area, but also achieves better testability compared to testability enhancement synthesis tools such as tstfx. Specifically for ISCAS-85 benchmark circuits, it was observed that EX-OR gate-based transformations can yield smaller circuits compared to state-of-the-art logic optimization tools like SIS and HANNIBAL.
Keywords :
combinational circuits; logic CAD; logic design; EX-OR gates; gate level; logic optimization with testability; multi-level logic circuits; random-pattern testability; recursive learning; tstfx; Circuit synthesis; Circuit testing; Combinational circuits; DH-HEMTs; Design optimization; Logic circuits; Logic design; Logic testing; Network synthesis; Optimization methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Design, 1995. ICCAD-95. Digest of Technical Papers., 1995 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
ISSN :
1092-3152
Print_ISBN :
0-8186-8200-0
Type :
conf
DOI :
10.1109/ICCAD.1995.480135
Filename :
480135
Link To Document :
بازگشت