A SoC-ZYNQ-Based SW-HW Co-Simulation and Verification Method | IEEE Conference Publication | IEEE Xplore