刘明
- 作品数：9 被引量：6H指数：1
- 供职机构：西安微电子技术研究所更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种用于处理器指令集的并行自动化验证方法
- 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结...
- 张辉孙健王璟琛刘明王宇飞
- 文献传递
- 一种用于低功耗设计的可重用仿真验证方法
- 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，...
- 孙健张辉刘明王宇飞肖刚
- 一种基于RS(24,20)的编译码器设计被引量：6
- 2016年
- 介绍了一种基于RS(24,20)的编译码实现方案,分析了其设计原理,给出了具体实现过程,通过时序仿真表明,该译码器能实现最大的纠错能力,同时给出了一种具有普适作用的译码方案.
- 孙健张辉王宇飞刘明
- 关键词：电路设计
- 一种可配置的多功能故障注入通用电路及工作方法
- 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，...
- 孙健张辉王宇飞刘明肖刚
- 文献传递
- 一种用于处理器指令集的并行自动化验证方法
- 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结...
- 张辉孙健王璟琛刘明王宇飞
- 一种用于低功耗设计的可重用仿真验证方法
- 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，...
- 孙健张辉刘明王宇飞肖刚
- 文献传递
- 基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备
- 本发明公开了一种基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备，属于集成电路数字仿真验证领域，本方法由第三方语言生成随机数据，并基于第三方语言构建FFT/IFFT参考模型，需要验证待测设计时，将生成的随机数据...
- 刘明冶琼张瑞王宇飞孙健娄冕黄媛媛李海松杨靓
- 一种面向复杂处理器的指令验证方法
- 随着数字集成电路复杂度不断的提高,其中处理器的指令数目越来越多、功能也更加复杂,传统的验证方法已经不能解决复杂处理器指令验证面临的问题,且指令的功能验证在整个集成电路功能验证中的比重也越来越重,因此,处理器的指令验证成为...
- 孙健张雪刘明杨阳张瑞
- 关键词：处理器自动化
- 文献传递
- 一种可配置的多功能故障注入通用电路及工作方法
- 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，...
- 孙健张辉王宇飞刘明肖刚
