Simulation and verification of a mixed-signal programmable system-on-a-chip | IEEE Conference Publication | IEEE Xplore