张运涛
- 作品数：4 被引量：1H指数：1
- 供职机构：北京广利核系统工程有限公司更多>>
- 相关领域：自动化与计算机技术电气工程电子电信更多>>
- 一种可重用的仿真验证平台及仿真验证方法
- 本发明涉及一种可重用的仿真验证平台及仿真验证方法，属于FPGA产品功能仿真验证技术领域，解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件，验证组件包括参数配置模块、测试用例...
- 张运涛吕秀红冀建伟齐敏黄君龙曹宗生吴飞董玲玲
- 文献传递
- 一种可重用的仿真验证平台及仿真验证方法
- 本发明涉及一种可重用的仿真验证平台及仿真验证方法，属于FPGA产品功能仿真验证技术领域，解决了现有定向测试中存在的人工介入过多、工作量大、验证平台重用性低的问题。包括DUT以及验证组件，验证组件包括参数配置模块、测试用例...
- 张运涛吕秀红冀建伟齐敏黄君龙曹宗生吴飞董玲玲
- UVM方法学在核安全级可编程逻辑仿真验证中的应用被引量：1
- 2016年
- 核电DCS系统中大量应用CPLD及FPGA产品,可编程逻辑产品的仿真验证是保证产品质量的重要环节。本文不同于传统的验证方法,首次将UVM验证方法应用于核安全级DCS产品可编程逻辑验证。采用独立开发的测试IP,通过灵活复用,为搭建仿真测试环境带来方便,简化了过程。采用受约束随机激励及自动检查保证测试的准确性及充分性,避免单纯用人工检查,在保证覆盖率指标的基础上,提高了测试自动化水平。目前,此方法已经用于DCS系统通信路由以及优选装置的逻辑验证。
- 张运涛宋立新曹宗生边庆杰
- 关键词：核安全级可编程逻辑仿真验证
- 功能覆盖率统计用于核级可编程逻辑仿真验证
- 2017年
- 可编程逻辑器件在核电数字化仪控设备中的应用越来越广泛。对可编程逻辑器件进行功能仿真是验证其正确性及安全性的重要手段。核电标准明确提出要对可编程逻辑进行充分的仿真验证。代码覆盖率是功能仿真验证的重要指标,但代码覆盖率有局限性,较高的代码覆盖率下仿真测试不一定完备。本文首次将功能覆盖率统计技术用于核电DCS产品可编程逻辑验证。文中功能覆盖率统计技术结合了受约束的随机激励方法来减小定向测试用例的工作量,并且采用断言进行自动检查提高了对结果正确性检查的效率。在达到同等代码覆盖率的基础上,通过采用功能覆盖率统计技术达到了对被测对象的功能高覆盖,进而保障了仿真验证的充分性。目前功能覆盖率统计技术已应用于DCS系统设备接口模块的优选逻辑验证。
- 张运涛何玮曹宗生孟广国
- 关键词：可编程逻辑
