Toward a formal semantics of IEEE Std. VHDL 1076

Cite this paper

@inproceedings{Olcoz1993TowardAF, title={Toward a formal semantics of IEEE Std. VHDL 1076}, author={Seraf{\'i}n Olcoz and Jos{\'e} Manuel Colom}, booktitle={EURO-DAC}, year={1993} }