Formal Modelling of Synchronous Hardware Components for System-on-Chip

In this paper we present aspects of synchronous hardware component design in a formal framework of timed action systems. Timed action systems is an extension of the action systems formalism that has been applied to the area of asynchronous and synchronous hardware design. We define synchronous operation of timed action systems and how timing characteristics of these systems are defined. Furthermore, we present time constraints that are used to confirm the tenability of timing during the development of hardware components.