From VHDL register transfer level to SystemC transaction level modeling: a comparative case study | IEEE Conference Publication | IEEE Xplore