The worker model of evaluation for computer hardware description languages
Résumé
This paper presents an operational model to define the semantics of CHDLs. This model is expressed in terms of a hierarchy of workers who communicate by exchanging messages. The use of the model to specify concurrency, parameter passing policies and time behavior is demonstrated. CONLAN function, activity and description segments are taken as examples.