A rule-based circuit representation for automated CMOS design and verification
C.F.E. Wu, Anthony S. Wojcik, Lionel Ming-shuan Ni · 1987
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.