This paper develops an integrated and practical approach for the specification, design and analysis of mixed hard-ware/software systems. We attempt to build a reliable link between three well-established techniques in the development of hardware/software systems: state-based Duration Calculus, which has been used in the specification and analysis of real time requirements of computing systems, and communication-based techniques (such as CSP and CCS), which are successful for describing the behaviour of concurrent systems, and the Verilog Hardware Description Language, which provides tool support at a late stage of system design/development trajecotry. The paper also demonstrates how the algebraic laws of Verilog facilitate the hardware/software partitioning and hardware compilation.
展开▼