| 发明名称 | 数字电路等效性比较方法及装置 | ||
| 摘要 | 本发明乃提出指定信息，其指定与该第二叙述格式相符的电路叙述(4、5)的信号路径识别码，并以与该第一叙述格式相符的该电路叙述(1)的一函数而产生，且与该第二叙述格式相符的电路叙述(4、5)亦已藉由与该第一叙述格式相符的该电路叙述(1)的转化而产生。此外，与该第二叙述格式相符的该等电路叙述(4、5)乃藉由与该第一叙述格式相符的该电路叙述(1)的转化而产生，进而使得该等信号路径识别码的信息内容不会较小，因而有助于在一等效性比较(6)中指定该等信号路径识别码。 | ||
| 申请公布号 | CN1679029A | 申请公布日期 | 2005.10.05 |
| 申请号 | CN03820394.4 | 申请日期 | 2003.08.28 |
| 申请人 | 因芬尼昂技术股份公司 | 发明人 | W·冈瑟;R·德雷奇斯勒 |
| 分类号 | G06F17/50 | 主分类号 | G06F17/50 |
| 代理机构 | 中国专利代理(香港)有限公司 | 代理人 | 张雪梅;梁永 |
| 主权项 | 1.一种用于产生指定信息的方法，该指定信息是用于指定至少两个不同数字储存电路叙述(4，5)的信号路径的信号路径识别码，其中该至少二数字储存电路叙述(4，5)乃依照一第二叙述格式而叙述数字电路，其中所述两数字储存电路各藉由转化与一第一叙述格式相符的一电路叙述(1)而产生，且相较于与该第二叙述格式相符的该等电路叙述(4，5)，与该第一叙述格式相符的该电路叙述(1)具有一较高的该等信号路径识别码信息内容；其特征在于该指定信息是以与该第二叙述格式相符的该至少二电路叙述(4，5)的一函数以及与该第一叙述格式相符的该电路叙述(1)的至少一部份的一函数而产生。 | ||
| 地址 | 德国慕尼黑 | ||