发明名称 一种验证代码覆盖率分析的简单方法
摘要 本发明公开了一种芯片验证中建立验证代码覆盖率的方法,包括以下步骤:给逻辑代码的分支加标记、对运行代码进行仿真、记录经过的逻辑分支、仿真足够程度的判断、统计总的经过的逻辑分支,本发明实现了验证代码覆盖率的分析,简单直接,能够及时发现在有复杂逻辑的超大规模集成电路中发现隐藏的逻辑错误,从而保证有复杂逻辑的超大规模集成电路的正常运行。
申请公布号 CN1630052A 申请公布日期 2005.06.22
申请号 CN200310104038.5 申请日期 2003.12.18
申请人 四川南山之桥微电子有限公司 发明人 孙杰;李为民;华海红
分类号 H01L21/66;H01L21/00;G06F11/00;G06K5/00 主分类号 H01L21/66
代理机构 成都天元专利事务所 代理人 张新
主权项 1、一种验证代码覆盖率分析的简单方法,其特征在于:包括以下步骤:给逻辑代码的分支加标记、对运行代码进行仿真、记录经过的逻辑分支、仿真足够程度的判断、统计总的经过的逻辑分支。
地址 611731四川省成都市高新技术(西区)创业中心C241