Correlating software modelling and hardware responses for VHDL and Verilog based designs | IEEE Conference Publication | IEEE Xplore