Application of High-level Design of Hardware with Timed CSP

Xiaoxin CUI,Dunshan YU,Xiaole CUI,Shimin SHENG
DOI: https://doi.org/10.3969/j.issn.1000-3428.2006.07.005
2006-01-01
Abstract:This paper provides a feasible way to system level design of hardware with timed CSP(TCSP). The system function implementation is based on HDL languages, and the shell is implemented with TCSP. Generally, HDL languages have no formal semantics, and they are not good at system level architecture description and real-time functional specification. In the method, this shortcoming is eliminated, the timing and function are described simultaneously, and the proposed method is a novel way to create executable specifications of the hardware system.
What problem does this paper attempt to address?