HCSP: Extending CSP for codesign and shared memory. HCSP is a variant of CSP adapted to capture the semantics of hardware compilation, among other purposes. It extends CSP in several ways: it includes priority; events can be combined; new synchronization constructors are introduced; and state is explicitly modelled. Including state permits the treatment of shared memory as well as message passing systems. A possible denotational semantics is included here thus allowing proper treatment of such systems. Although most of these extensions were motivated by the needs of hardware compilation, HCSP can be applied more widely including software and thus can form the foundation of a codesign language. HCSP is an extension of CSPP: familiarity with CSPP is assumed here.
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Liu, Tao; Wang, Shuling; Zhan, Naijun: Safety verification of trajectory planning for multiple robots (2017)
- Lawrence, Adrian E.: HCSP: Extending CSP for codesign and shared memory (1998)