Software in a hardware view: New models for HW-dependent software in SoC verification and test | IEEE Conference Publication | IEEE Xplore