A new approach for an AHDL based on system semantics | IEEE Conference Publication | IEEE Xplore