VOVHDL: A verification-oriented dialect of VHDL

This paper focuses on the communication protocols used for system level modeling and on their VOVHDL implementation. Section 2 summarizes the model for communication we propose. Section 3 lists the restrictions and the extensions imposed on the standard language to yield VOVHDL. Section 4 draws some conclusions. 2. The communication model Protocols play a key role in the communication model and in the overall modelling strategy [CCPB93] and distinguish this approach from the pure use of VHDL or of Process Algebras, as it benefits from the advantages of both. Communications among processes and with the external world are performed through Communication Channels.