Modelling a subclass of CMOS circuits using a process algebra
António Cerone, George J. Milne · 1999
In this paper we introduce a technique for modelling a subclass of CMOS circuits using the Circal process algebra. We first introduce the basic techniques for modelling hardware in an event based formalism, such as a process algebra: the level-based and the transition-based modelling techniques. Then we show how to model pMOS and nMOS transistors and how to connect them for modelling a subclass of CMOS circuits which are used in the design of asynchronous hardware.