Author Login Editor-in-Chief Peer Review Editor Work Office Work
Formal Verification of Analog and Mixed Signal Circuit
YANG Shihan,WU Jinzhao,DING Guanghong,QIN Donghong
Computer Engineering . 2016, (8): 34 -38,45 .  DOI: 10.3969/j.issn.1000-3428.2016.08.007