A rule-based circuit representation for automated CMOS design and verification

• Published in: 24th ACM/IEEE Design Automation Conference pp. 786 - 792
• Main Authors: Wu, C.-F. E., Wojcik, A. S., Ni, L. M.
• Format: Conference Proceeding
• Language: English
• Published: New York, NY, USA ACM 01-10-1987
• Series: ACM Conferences
• Subjects: Applied computing > Arts and humanities > Architecture (buildings) > Computer-aided design; Applied computing > Physical sciences and engineering > Engineering > Computer-aided design; Circuit simulation; Circuit synthesis; CMOS logic circuits; CMOS technology; Computer science; Hardware > Electronic design automation > Physical design (EDA) > Placement; Hardware > Electronic design automation > Physical design (EDA) > Wire routing; Information systems > Information systems applications; Information systems > Information systems applications > Decision support systems > Expert systems; Logic circuits; Logic design; Permission; Switches; Very large scale integration
• ISBN: 9780818607813; 0818607815
• ISSN: 0738-100X
• DOI: 10.1145/37888.38012

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.