Title :
A Rule-Based Circuit Representation for Automated CMOS Design and Verification
Author :
Wu, Ching-Farn E. ; Wojcik, Anthony S. ; Ni, Lionel M.
Author_Institution :
Department of Computer Science, Michigan State University, East Lansing, MI
Abstract :
A novel rule-based circuit representation is proposed to describe the connectivities of CMOS circuits at the transistor level. The unique feature of the rule-based representation is its ability to automate CMOS circuit design and verification. A precise symbolic description of the functionality of a transistor-level circuit can be derived based on a set of production rules in linear time. Automated synthesis and verification of CMOS logic circuits are demonstrated.
Keywords :
CMOS logic circuits; CMOS technology; Circuit simulation; Circuit synthesis; Computer science; Logic circuits; Logic design; Permission; Switches; Very large scale integration;
Conference_Titel :
Design Automation, 1987. 24th Conference on
Print_ISBN :
0-8186-0781-5
DOI :
10.1109/DAC.1987.203338
