A process algebra interpretation of a verification oriented overlanguage of VHDL

15 years 6 months ago

The VOVHDL language was defined as a verification oriented VHDL

Catherine Bayol, Bernard Soulas, Dominique Borrion

EURODAC 1994 | EVAL CCSbased Verification | Formal Semantic Model | VHDL | VHDL Simulable Specification |

claim paper

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1994
Where	EURODAC
Authors	Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto

Comments (0)