用于RTL设计验证的静态错误检测方法

检索

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

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

用于RTL设计验证的静态错误检测方法

马丽丽, 吕涛, 李华伟, 张金巍, 段永颢

Static Error Detection Method for RTL Design Verification

MA Li-Li, LV Chao, LI Hua-Wei, ZHANG Jin-Wei, DUAN Yong-Hao

计算机工程 . 2011, (12): 279 -281,284 . DOI: 10.3969/j.issn.1000-3428.2011.12.094