TY - 计算机工程 A1 - 严迎建;徐劲松;陈 韬;刘军伟 T1 - 基于指令集模拟器的处理器建模与验证 Y1 - 2008-03-05 00:00:00.0 JF - 计算机工程 JO - 计算机工程 SP - 248 EP - 250 VL - 34 IS - 5 UR - {http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2008.05.087} N1 - 10.3969/j.issn.1000-3428.2008.05.087 ER -