A net-based semantics for VHDL | IEEE Conference Publication | IEEE Xplore