An integrated approach towards a distributed simulation tool for digital designs

The use of simulation tools for determining the functional correctness of a digital design and to ensure an acceptable level of design confidence is in widespread use. The distributed synchronous simulation principle offers a chance for simple, efficient coding of operational models of a design as well as clearly understood communication. A language PSL for describing design-modules has been developed, especially tailored for compiling those modules to highly efficient synchronous occam processes. With regard to enforcing easy re-use of declared modules, the structure of interfaces of the generated occam-procedures has been unified. A communication concept is developed which offers dead-lock-free message-transfer without buffering and flow-control facilities for a distributed system of synchronous processes.<
>