邵伟
- 作品数：2 被引量：4H指数：2
- 供职机构：中国民航大学安全科学与工程学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金中国民航大学科研启动基金更多>>
- 相关领域：电子电信更多>>
- 基于March C-算法的SRAM芯片的SEU失效测试系统被引量：2
- 2014年
- 为实现SRAM芯片的单粒子翻转故障检测,基于LabVIEW和FPGA设计了一套存储器测试系统:故障监测端基于LabVIEW开发了可视化的测试平台,执行数据的采集、存储及结果分析任务,板卡测试端通过FPGA向参考SRAM和待测SRAM注入基于March C-算法的测试向量,通过NI公司的HSDIO-6548板卡采集2个SRAM的数据,根据其比较结果判定SEU故障是否发生。该系统可以实时监测故障状态及测试进程,并且具有较好的可扩展性。
- 王鹏李振邵伟薛茜男
- 关键词：仿真测试单粒子翻转MARCHSRAM
- 基于ARINC629的层次化验证平台设计被引量：2
- 2014年
- 结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。
- 王鹏邵伟姜承翔田毅薛茜男
- 关键词：断言
