基于验证库的微处理器指令集验证方法

检索

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

龚令侃;王玉艳;章建雄

Library-based Verification Methodology for Instruction Set Validation of Microprocessor

GONG Ling-kan; WANG Yu-yan; ZHANG Jian-xiong

计算机工程 . 2009, (3): 86 -88 . DOI: 10.3969/j.issn.1000-3428.2009.03.030