This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
W.C. Kabat, Department of Electrical Engineering and Computer Science, Northwestern University
Recent findings indicate that logic design still constitutes 50 percent of the total design effort, and yet few automated tools are being used in industry. The use of an automated theorem-proving system in the logic design process presents an intriguing addition to traditional design automation tools. This paper deals with the automated synthesis of combinational logic. The method consists of a theorem-proving implementation of a systematic, uniform procedure for the synthesis of an arbitrary switching function. Any multiple-valued (including binary) function can be synthesized in a top-down fashion using the functional blocks of the designer's choice. The method is general enough to allow for the choice of an arbitrary logic system and radix. Additional constraints of modularity, technology dependence, fault tolerance, and others may be imposed upon the design. It may also be possible to accommodate into this approach formal design verification, design for testability, functional level modeling, and formal analysis of race and hazard conditions.
Index Terms:
switching theory, Automated theorem proving, design automation, logic design, multivalued logic
Citation:
W.C. Kabat, A.S. Wojcik, "Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques," IEEE Transactions on Computers, vol. 34, no. 7, pp. 610-632, July 1985, doi:10.1109/TC.1985.1676600
Usage of this product signifies your acceptance of the Terms of Use.