【摘 要】
：
基于VMM方法学设计和实现了一个随机验证环境,验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器,可以生成覆盖率指导的有约束的定点、浮点指令序列,调用一
【机 构】
：
桂林电子科技大学电子工程及自动化学院
论文部分内容阅读
基于VMM方法学设计和实现了一个随机验证环境,验证一个64位ALU。该验证环境具备一套功能完备的随机测试程序发生器,可以生成覆盖率指导的有约束的定点、浮点指令序列,调用一个由C语言实现的参考模型进行运算结果自检,并采用覆盖率收敛技术实现覆盖率快速收敛。实践结果表明,设计的随机验证环境,能够高效验证ALU的各项逻辑功能,减少测试时间,且随机测试程序生成模块可以简单移植应用于处理器其他模块的功能验证。
其他文献
教学行动研究是教师在教学实践中发现问题并以为此作为研究课题,以正式或非正式的方式进行系统研究的反思性教学行为研究。该研究有效地解决了教学与研究的脱节问题,使教师在
灵芝具有巨大的潜在漆酶生产能力。研究采用ABTS法测定灵芝漆酶的酶活,比较液体发酵培养基中不同培养基成分对灵芝漆酶酶活的影响。结果显示:PDB加富培养基、Cu2+培养基诱导
信息安全在FC SAN中是一个重要的问题,它涉及到的技术手段包括数据加密和访问控制等。使用ZONE划分及LUN掩码解决这方面的问题时主要是通过对SAN的设置实现,其缺乏灵活性和对
随着自动化技术的不断提升,AGV的应用越来越广泛。为设计一种低成本、易布设、稳定可靠的产品,提出了一种红外超声相结合的AGV导航系统。以并排对称设计的红外传感器实现纠偏
<正>一、未成年人犯罪记录封存制度的法条解读刑事诉讼法第二百七十五条规定:"犯罪的时候不满十八周岁,被判处五年有期徒刑以下刑罚的,应当对相关犯罪记录予以封存。犯罪记录
晚近，传统乡村聚落景观受到城市化与工业化快速而猛烈的冲击，正面临着多方面、多形态的质变转化。位于江西省北部的湖口县流芳乡属于中国南方传统乡村聚落，处于具有悠久历史文明
比对其他范畴的地质勘查，遥感特有的勘查技术，凸显了独特性。它依托影像，来明晰某区域架构之中的地质特性、关联着的地理状态。遥感地质勘查，应能创设多波段特有的地表图像。经由
<正>【裁判要旨】金融担保公司为借款人代偿款项后,向借款人及反担保人行使追偿权时,双方当事人争议焦点主要在于担保合同中关于代偿款项利息、担保违约金以及反担保人违约金
化学是一门以实验为基础的学科。科学实验是化学学科继续发展的根基和源泉，高中阶段的化学教学必须重视实验教学，这将有利于青少年智力的开发和科学世界观、方法论的培养。化学
<正>一、问题的提出《义务教育数学课程标准》(实验稿)提出让学生"体验数学"的过程性目标,强调数学课程要从学生已有的生活经验出发,让学生亲身经历实际问题抽象成数学模型并