模拟与混合信号电路的形式化验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

模拟与混合信号电路的形式化验证

杨世瀚,吴尽昭,丁广泓,秦董洪

Formal Verification of Analog and Mixed Signal Circuit

YANG Shihan,WU Jinzhao,DING Guanghong,QIN Donghong

计算机工程 . 2016, (8): 34 -38,45 . DOI: 10.3969/j.issn.1000-3428.2016.08.007