孙健
- 作品数：12 被引量：6H指数：1
- 供职机构：西安微电子技术研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 一种用于低功耗设计的可重用仿真验证方法
- 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，...
- 孙健张辉刘明王宇飞肖刚
- 一种面向多核DSP芯片的低功耗验证方法
- 2015年
- 随着芯片设计进入纳米时代,芯片的规模和工作频率不断提高,尤其在工艺发展到65nm及以下时,芯片的功耗已经成为继面积和性能之后的主要影响因素之一.面对低功耗设计技术要求的不断增加,对面向低功耗设计的仿真验证也提出了更高的要求.对此全面系统地介绍了低功耗设计的相关背景、原理和不同层次的优化技术,通过对一款多核DSP芯片的低功耗验证,针对低功耗设计的各种策略,构建了基于SystemVerilog的仿真验证环境,实现了一种高效可行的低功耗仿真验证方法.
- 孙健时鹏飞冯春阳蒙玲张辉
- 关键词：多核DSP低功耗仿真验证
- 一种用于处理器指令集的并行自动化验证方法
- 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结...
- 张辉孙健王璟琛刘明王宇飞
- 文献传递
- 一种基于RS(24,20)的编译码器设计被引量：6
- 2016年
- 介绍了一种基于RS(24,20)的编译码实现方案,分析了其设计原理,给出了具体实现过程,通过时序仿真表明,该译码器能实现最大的纠错能力,同时给出了一种具有普适作用的译码方案.
- 孙健张辉王宇飞刘明
- 关键词：电路设计
- 一种可配置的多功能故障注入通用电路及工作方法
- 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，...
- 孙健张辉王宇飞刘明肖刚
- 文献传递
- 一种用于处理器指令集的并行自动化验证方法
- 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结...
- 张辉孙健王璟琛刘明王宇飞
- 一种SoC多功能模块验证平台及方法
- 本发明公开了一种SoC多功能模块验证平台及方法，属于集成电路领域，本方法对验证平台中的验证环境进行了改进，在验证环境的开发设计时，为每个功能模块配置了一个功能配置状态入口，通过不同的配置参数，可以配置不同的工作模式，在不...
- 孙健王宇飞张瑞冶琼娄冕黄媛媛李海松杨靓
- 基于层次化事件队列的赋值操作应用
- 2014年
- 随着ASIC、SoC和FPGA在工业生产和科研工作中的广泛应用,作为硬件描述语言的Verilog HDL已成为实现集成电路设计的重要方式,而设计师对其中赋值操作的错误使用,也导致了部分设计的不正确.因此,对于Verilog HDL中赋值操作的深入了解也成为解决设计中隐藏问题的瓶颈.基于层次化事件队列,对设计中经常遇到的赋值操作问题进行了深入剖析,并结合工作实际给出了避免设计中竞争问题出现的方法.
- 孙健张莎莎时鹏飞张雪
- 关键词：VERILOGHDL
- 一种用于低功耗设计的可重用仿真验证方法
- 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，...
- 孙健张辉刘明王宇飞肖刚
- 文献传递
- 基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备
- 本发明公开了一种基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备，属于集成电路数字仿真验证领域，本方法由第三方语言生成随机数据，并基于第三方语言构建FFT/IFFT参考模型，需要验证待测设计时，将生成的随机数据...
- 刘明冶琼张瑞王宇飞孙健娄冕黄媛媛李海松杨靓
