文档介绍：An Integrated Approach to Hardware/Software Co-design
He Jifeng
International Institute for Software Technology
United Nations University
3058 Macau
Abstract a sufficiently lower level such that the hardware can be
synthesised from it. A hardware description of a device
This paper develops an integrated and practical approach can be checked against the silicon layout supplied by the
for the specification, design and analysis of mixed hard- designer, and it can also be used as an input to simula-
ware/software systems. We attempt to build a reliable link tor. Hardware description languages are widely used in
between three well-established techniques in the develop- puter-aided systems, allowing libraries of stan-
ment of hardware/software systems: state-based Duration dard checked hardware modules to be assembled. The
Calculus , which has been used in the specification bination of all these techniques removes many errors
analysis of real time requirements puting systems, from a silicon product, once the hardware description of a
munication-based techniques (such as CSP and device has been constructed.
CCS), which are essful for describing the behaviour
Industry interest in the formal verification of embeded
of concurrent systems, and the Verilog Hardware Descrip-
systems is gaining ground since an error in a widely used
tion Language, which provides tool support at a late stage
electronic device can have significant repercussions on the
of system design/development trajectory. The paper also
stock value of pany concerned. Most traditional
demonstrates how the algebraic laws of Verilog facilitate
engineers are willing to accept the use of mathematics in
the hardware/software partitioning and pi-
the design process, where non-use would result in an un-
lation.
reliable product. For example, no engineer would build
a bridge without calculating that its strength will be suf-
1 Introduction ficient to carry the desired load fir