吴剑
- 作品数：2 被引量：1H指数：1
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：中央高校基本科研业务费专项资金更多>>
- 相关领域：自然科学总论自动化与计算机技术更多>>
- 功能覆盖率驱动的TAU/MVBC模块验证
- 2011年
- 基于验证方法学,使用硬件验证语言搭建分层可复用的TAU/MVBC验证环境,利用功能覆盖率结果对随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效地提高了验证效率。
- 姚爱红吴剑张智钧
- 关键词：SYSTEMVERILOG
- 16位嵌入式微处理器核的设计及验证被引量：1
- 2010年
- 采用自顶向下方法,设计实现16位精简指令集计算机架构的嵌入式微处理器核HEUSoC-1,利用现场可编程门阵列片内的大量存储资源实现双端口存储器及零等待的指令和数据访问,从而保证指令的单周期执行。通过Verilog硬件描述语言实现微处理器核的RTL级描述,编写计算斐波那契数列的测试程序验证了HEUSoC-1的正确性。在Xilinx Spartan-2芯片上的统计结果表明,HEUSoC-1的资源占用率较低,处理器最高频率约为22 MHz,适合于对功耗和性价比要求严格的嵌入式应用领域。
- 姚爱红孙盟哲吴剑
- 关键词：嵌入式系统微处理器核精简指令集计算机VERILOG硬件描述语言现场可编程门阵列
