Formal Semantics of VHDL for Verification of Circuit Designs.

Xin Hua, Hantao Zhang

Browse the full ICCD paper archive.