发明名称 | 用于集成电路设计仿真的断言的开发 | ||
摘要 | 本发明的一个实施例包括对断言进行准备以使其被包括在由处理装置(21)执行的集成电路仿真中。响应于对处理装置(21)的输入,定义一组集成电路波形以测试该断言。处理装置(21)利用这些波形来测试断言;并且在成功地测试以后,利用该断言来执行集成电路仿真。 | ||
申请公布号 | CN101263498A | 申请公布日期 | 2008.09.10 |
申请号 | CN200680033222.7 | 申请日期 | 2006.09.11 |
申请人 | NXP股份有限公司 | 发明人 | 蒂姆·兰格 |
分类号 | G06F17/50(2006.01) | 主分类号 | G06F17/50(2006.01) |
代理机构 | 北京天昊联合知识产权代理有限公司 | 代理人 | 陈源;张天舒 |
主权项 | 1.一种方法,其包括:为集成电路仿真提供波形数据库(58,168),所述数据库(58,168)对应于多个集成电路波形,其中每个波形相对于共同的时间周期发生改变;利用处理装置(21)将第一断言应用在所述集成电路波形上,所述第一断言被构建来测试与所述集成电路波形对应的集成电路设计模型(52)的行为;并且根据所述应用来评估所述第一断言;并且响应于所述评估,修改所述第一断言以提供第二断言来测试所述集成电路设计模型(52)的行为。 | ||
地址 | 荷兰艾恩德霍芬 |