Modeling a verification test system for mixed-signal circuits | IEEE Journals & Magazine | IEEE Xplore