Modelling a Subclass of CMOS Circuits using a Process Algebra

摘要

In this paper we introduce a technique for modelling a subclass of CMOS circutis 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.