Simulation of CMOS circuits at the Switch level using logic programming

Abstract

Descriptions of CMOS circuits at the switch level (transistor level) are suggested in the form of predicate sets which make it possible to perform their asynchronous simulation (i.e. simulation with regard to propagation delays of transistors) using logical inference realized in logic programming. Examples of representation of proposed descriptions of switching CMOS circuits are given in programming language PROLOG.