An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs | IEEE Conference Publication | IEEE Xplore