张珩
- 作品数：15 被引量：72H指数：4
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种用于指令级随机验证的指令组合过滤方法及系统
- 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤...
- 沈海华王朋宇张珩
- 文献传递
- 龙芯2号微处理器的功能验证被引量：29
- 2006年
- 开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务·龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战·简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误·主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法·模拟仿真是主要的验证手段,新的形式化验证方法也应用到了验证流程当中·
- 张珩沈海华
- 关键词：处理器设计模拟仿真形式化验证
- 一种支持随机指令测试的微处理器FPGA验证装置
- 本发明公开了一种通用微处理器设计的仿真验证中FPGA物理原型验证装置。该装置包括：一主控制电路，该主控制电路具有一处理器接口用于连接被验证微处理器；一电源及时钟产生电路，与被验证微处理器连接；一工作内存和一参考内存分别通...
- 张珩沈海华
- 文献传递
- 使用支持向量机的微处理器验证向量优化方法被引量：1
- 2010年
- 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。
- 王朋宇郭崎沈海华陈云霁张珩
- 关键词：微处理器验证仿真验证
- 通用处理器设计中硬件仿真验证被引量：4
- 2007年
- 基于动态的RTL仿真依然是验证超大规模集成电路的主要方法。在使用动态仿真方法对通用微处理器这样大规模的设计进行功能验证时仿真速度成为了瓶颈,通常的解决方案是使用FPGA进行硬件的物理原型仿真,使用FPGA可以在较短的时间内测试大量的测试向量,但是使用FPGA物理原型验证的可调试很差。针对这一主要问题,提出了三级的层次化仿真验证环境,使用硬件仿真器的仿真加速作为中间层的解决方案,即可以提高仿真速度,也提供了良好的调试环境。同时针对大规模设计多片FPGA逻辑划分提出了改进的K-L算法,优化了FPGA的利用率和片间互连。
- 张珩
- 关键词：模拟仿真
- 通用处理器模拟仿真验证方法研究
- 现代集成电路制造技术依然按照摩尔定律不断发展，设计规模越来越大，复杂度越来越高，特别是在通用处理器设计领域集中体现了这一规律。以Intel和AMD为代表的x86指令集通用处理器的设计复杂度、规模和性能也达到了空前的高度。...
- 张珩
- 关键词：通用处理器模拟仿真
- 文献传递
- VMM验证方法在AXI总线系统中的实现——Verification IP应用一例被引量：5
- 2007年
- 本文基于中科院计算所某项目实际工作,介绍如何利用高级验证语言、验证基本库、以及成熟的验证模型,快速建立可随机产生测试向量、向量场景可调制、并具有覆盖率收集功能的验证系统。项目采用SystemVerilog语言,测试平台架构基于Synopsys公司最新的验证方法VMM,并使用DesignWare系列验证IP加快平台的建立。
- 张珩辜帆
- 关键词：VMM
- 基于覆盖率的功能验证方法被引量：19
- 2005年
- 随着半导体技术的发展,验证已经逐渐成为大规模集成电路设计的主要瓶颈。首先介绍传统的功能验证方法并剖析其优缺点,然后引入传统方法的一种改进———基于覆盖率的验证方法,最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验证中的实际应用。
- 解咏梅张珩张福新
- 基于交易级建模的ATA控制器功能验证方法研究
- 2008年
- 交易级建模技术适用于构建大规模电路系统的功能验证平台。结合C++天生的类继承机制和SystemC的接口通道机制,基于该建模技术的ATA控制器验证平台成功实现了随机化的交易级验证,降低了设计模块间通信的复杂度,结构上具有良好的可扩展性和可重用性。着重阐述该验证平台中抽象通道与适配器的通用设计方法,提出了一种基于面向对象技术的创新的验证平台设计模式,并分析了交易级建模和RTL建模之间的区别以及交易级建模技术在提高验证效率上的优势。
- 李潮激张珩沈海华
- 关键词：交易级建模设计模式重用性
- 一类复杂芯片的FPGA验证被引量：4
- 2006年
- 介绍了模块层次构造算法和改进的K-L算法对设计进行划分,有效地减少了FPGA间的互连信号数。通过引脚复用(CPM)的方法,解决了多块FPGA间互连过多而引起的引脚不足问题。另一方面,FPGA的运行频率远远低于实际芯片的工作频率,通过在接口设置延迟寄存器和修改系统软件可以准确评估实际流片芯片的性能,实验的误差在2％以内。
- 李小波张珩张福新唐志敏
- 关键词：FPGA验证
