摘要
本申请涉及一种RTL故障仿真方法、装置、电子设备及计算机可读介质。方法包括:解析RTL文件以生成包含RTL节点与行为级节点的RTL图;同时对所有RTL节点进行仿真以得到行为级节点的输入信号;构建行为级节点的输入信号之间的依赖关系图,遍历依赖关系图以确定RTL图中的冗余行为级节点;消除RTL图中的冗余行为级节点确定非冗余行为级节点后对剩余的非冗余节点进行仿真;基于信号值判断当前电路是否稳定,若否则迭代执行上述步骤直至当前电路稳定,若是则执行预设周期的RTL故障仿真后输出RTL故障仿真结果及故障覆盖率。本申请解决了现有的RTL故障仿真方法未考虑节点的输入之间的依赖关系导致存在冗余执行的问题。
技术关键词
故障仿真方法
节点
冗余
故障覆盖率
信号值
电路
关系
故障仿真装置
处理器
通信接口
周期
电子设备
仿真算法
决策
代码转换
存储器
计算机
解析器
输出模块
系统为您推荐了相关专利信息
传输验证方法
共识算法
智能合约引擎
消息加密
信用评分模型
数据处理方法
分布式数据采集
负载均衡机制
节点
多云环境
像素单元
复位晶体管
曝光控制方法
图像传感器
快门