| 专利名称 | 一种寄存器传输级可观测性覆盖分析与激励生成方法 | 申请号 | CN200510056344.5 | 专利类型 | 发明专利 | 公开（公告）号 | CN1688022 | 公开（授权）日 | 2005.10.26 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 鲁巍;李晓维 | 主分类号 | H01L21/82 | IPC主分类号 | H01L21/82;G06F17/50;G11C19/00;G11C29/00;G06F11/00 | 专利有效期 | 一种寄存器传输级可观测性覆盖分析与激励生成方法 至一种寄存器传输级可观测性覆盖分析与激励生成方法 | 法律状态 | 授权 | 说明书摘要 | 本发明涉及集成电路设计验证领域，特别是一种 寄存器传输级可观测性覆盖分析与激励生成方法。通过增强型 进程控制树、控制－观测链等数据模型表征可观测性信息，在 此基础上，通过对设计电路动态执行过程中，每个观测点的控 制－观测链的确定与回退，分析语句与变量的可观测性，得到 可观测性语句覆盖率，并且利用得到的可观测性信息指导激励 生成。本发明解决了目前已有的可观测性覆盖评估方法复杂度 高以及在激励生成过程中不考虑可观测性的问题。生成。本发 明可用于在模拟过程中计算代码的可观测性语句覆盖率，进而 更确切地评估验证的力度，也可以用于在激励生成过程中以可 观测性覆盖信息为指导，提高激励的质量。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障