数字电路等效性比较方法及装置制造方法及图纸

本发明专利技术乃提出指定信息，其指定与该第二叙述格式相符的电路叙述（４、５）的信号路径识别码，并以与该第一叙述格式相符的该电路叙述（１）的一函数而产生，且与该第二叙述格式相符的电路叙述（４、５）亦已藉由与该第一叙述格式相符的该电路叙述（１）的转化而产生。此外，与该第二叙述格式相符的该等电路叙述（４、５）乃藉由与该第一叙述格式相符的该电路叙述（１）的转化而产生，进而使得该等信号路径识别码的信息内容不会较小，因而有助于在一等效性比较（６）中指定该等信号路径识别码。（*该技术在2023年保护过期，可自由使用*）

【技术实现步骤摘要】

本专利技术是关于一种用于产生电路叙述(circuit descriptions)中信号路径识别码之指定信息的方法与装置，所述之电路叙述则是用于根据不同的叙述格式而叙述数字电路。此外，本专利技术是关于一种数字储存介质，其具有用以于一数据处理装置中执行本专利技术之方法之控制信号。
技术介绍
在利用仿真来确认数字电路设计中的个别设计步骤时，显然受限于该数字电路本身的设计；目前的专用集成电路(ASICs)包含了数百万个闸(gate)，而在其设计复杂度不断提升的同时，亦希望其发展时间(development times)能够降低，因此，为确认品质而执行的仿真运转之范畴则已经不再足够；即使是延时达数天与数周之仿真运转，亦仅能完成所涵盖范围的一小部份。除了运转时间的问题外，传统的仿真亦遭遇到其它的限制；因此，随机仿真式刺激(随机图形仿真)一般并不会涵盖所有的困难情况，即所谓之角落事件(corner case)；在误差之发现后所立即产生的另一个问题便是校正问题，在此处，仿真对于叙述中的误差位置助益亦相当有限，虽然这样的效应在误差发现期间会变得相当明显，但其错误行为之理由并非直接由此而产生；然而在复杂的设计情形中，由于难以审视整体设计，因此误差位置的分析结果便具有高度的重要性。与传统的仿真方法相比，正式的确认(亦即数值证明之自动执行)即是为了比较两数字电路而提出；相较于仿真方式，以正式方法为基础之等效性比较提供了许多优势，因此等效性比较产生了一个能够等同于一完全仿真(亦即所有输入值之仿真)的结果。由于传统的方法因其复杂度的原因，并不能达成此一彻底详尽的仿真，除此之外，此一仿真可以非常短的运转时间与低记忆位置之消耗而达成；因此过去几年来已发展了多种商用工具，例如GateCOMP、FormalPro与Formality等工具。这些用于等效性比较之习知方法是利用一低抽象化层级(abstraction level)之数字电路的电路叙述。在数字电路的发展过程中，为了帮助熟习该项技艺之有关人士理解，最初电路的设计是由高抽象化层级开始，而最后为了能够产生所设计之数字电路，则将电路叙述转化为一较低的抽象化层级之格式，以具备生产过程(production process)所需的输入数据。在此关系中，数字电路的叙述是处于一较低的抽象化层级，然而，其虽然能够产生对生产过程较佳之起始条件，却是更加难以读取。举例而言，根据一高抽象化层级之叙述格式的电路叙述是对应于缓存器转移层级(register-transfer level)，在该层级中，举例而言，电路的行为与不同信号之间的关系亦是相当明显的，这样的电路叙述能够被转化至一网络清单，该网络清单中储存了个别闸或是功能组件间之连接，然其对熟习该项技艺之有关人士而言，是更难理解的。在将设计一开始的高抽象化层级之电路叙述转化为低抽象化层级之电路叙述的期间，须在数字电路上执行额外修正，举例而言，该等额外修正为合成之数字电路的测试能力所执行之最佳化、或是信号传播次数之一最佳化。此外，在设计过程的最后亦需要改变接着要执行的数字电路，然而就较低抽象化层级的电路叙述而言，由于低抽象化层级之故，对其改变之校正变得更难以控制。在发展程序的最后，即获得数字电路之低抽象化层级电路叙述，而欲进行测试之发展期间亦产生了改变；在此过程中，可直接转化高抽象化层级之原始电路叙述为一低抽象化层级，而无须产生任何修正来获得一低抽象化层级之比较叙述。所述之比较叙述是一等效性比较，其具有的电路叙述是在为了测试该等修正之发展程序最后所获得；特别是，该等效性比较是以该数字电路中指定信号路径识别码的信号路径为基础而产生。对一适当的等效性比较而言，精确指定该等信号路径识别绝对是必须的；然而，在转换至较低抽象化层级的期间，通常会基于在该发展程序中所产生的修正而改变该等信号路径识别码，使得除了比较叙述之外，其所产生的低抽象化层级之电路叙述是利用信号路径识别码而产生。因此，为了能够于特定情况中执行等效性比较，必须手动产生适当的指定，而此方式是昂贵且甚至是不可能的。因此本专利技术的目的在于产生一种有助于在一低抽象化层级的电路叙述中指定信号路径之系统。本专利技术之目的可藉由具有权利要求1或10特征之方法、或具有权利要求7或14特征之装置、或是具有权利要求9或16之数字储存介质而达成，其它各项权利要求附属项则定义了本专利技术之较佳实施例。
技术实现思路
根据本专利技术，自两叙述格式之不同的电路叙述所产生的信号路径识别码是指定至至少一部份之使用，其亦由第二叙述格式之电路叙述转化为第一叙述格式之电路叙述而产生的信息所组成，所述之信息可用以追踪在个别信号路径之信号路径识别码中的改变，以及用以产生指定；特别是，在较高数据类型(例如包含复数信号路径之记录)的情形中，该等信号路径能够被较佳指定；因此，举例而言，一第一叙述格式之电路叙述可包含代表一组信号路径之信号路径群组识别码，所述之信号路径群组可依次被分为具备其特有的群组识别之次要群组。在该电路叙述转化为第二叙述格式的期间，于此连接中系存在藉由该信号群组识别码转化之信号路径皆包含了所有的该信号路径群组识别码之指定加上一参数；若单独就该参数而言，则完全看不出某一信号路径具有何种次要指定或是某一信号路径是属于哪一次要群组。在一较佳实施例中，该第一叙述格式将该数字电路储存于一缓存器转移层级之电路叙述中，而该第二叙述格式则较佳为网络清单格式。由本专利技术之方法或是本专利技术之装置所产生的指定信息是以一单独清单而产生，其系由一方法或一装置所使用以执行等效性比较，而该指定信息同样于执行该等效性比较之触所产生。因此，用于执行该等效性比较之一方法或一装置则已包含该指定信息之产生，因而在此情形中，该等效性比较是于两第二叙述格式之电路叙述之间执行，并同时考量到该第一叙述格式之一电路叙述。在该第一叙述格式之一数字电路的电路叙述至该第二叙述格式之数字电路的电路叙述过程中，许多电路叙述将于特定情况中产生，其具有各种抽象化层级之不同的叙述格式。对于本专利技术之执行而言，在指定信息的产生过程中，是否使用发生最高抽象化层级的电路配置或下级抽象化层级之电路叙述并不重要，所提供之一抽象化层级叙述格式之电路叙述系高于该第二叙述格式之电路叙述的抽象化层级，而该等效性比较则执行于其间。同样亦可使用较高抽象化层级之复数电路叙述。本专利技术是藉由仅为此一目的所设计之装置而执行，或是藉由一般可用于编程之装置所执行。在后者的情形中，该装置可为一个人计算器、一数据处理系统、一工作站或另一可编程装置；在后者的情形中，本专利技术亦包含一具有适当安装之控制信号的数据介质，该等控制信号系安装以与一数据处理系统同时执行本专利技术之方法。针对此一构想，该数据处理系统必须由该数据介质上的控制信号控制，因而该数据处理系统最好是具有一用于自该数据介质读出控制信号之装置。信号路径识别码之指定亦设计为匹配方式；在一个例子中，该第一电路叙述是以VHDL格式所供应，其将该数字电路储存于缓存器转移层级，而该第二叙述格式则对应至GAT格式且为一网络清单格式。VHDL是以复数相之中间阶段的形式而转化为该GAT格式。首先读取该VHDL叙述并将其陈述于内部数据结构中(语法分析)；自所述之陈述而撷取该等信号；针对各信号分析所对应的分派以及计算个本文档来自技高网...

【技术保护点】
一种用于产生指定信息的方法，该指定信息是用于指定至少两个不同数字储存电路叙述（４，５）的信号路径的信号路径识别码，其中该至少二数字储存电路叙述（４，５）乃依照一第二叙述格式而叙述数字电路，其中所述两数字储存电路各藉由转化与一第一叙述格式相符的一电路叙述（１）而产生，且相较于与该第二叙述格式相符的该等电路叙述（４，５），与该第一叙述格式相符的该电路叙述（１）具有一较高的该等信号路径识别码信息内容；其特征在于该指定信息是以与该第二叙述格式相符的该至少二电路叙述（４，５）的一函数以及与该第一叙述格式相符的该电路叙述（１）的至少一部份的一函数而产生。

【技术特征摘要】
DE 2002-8-30 10240133.01.一种用于产生指定信息的方法，该指定信息是用于指定至少两个不同数字储存电路叙述(4，5)的信号路径的信号路径识别码，其中该至少二数字储存电路叙述(4，5)乃依照一第二叙述格式而叙述数字电路，其中所述两数字储存电路各藉由转化与一第一叙述格式相符的一电路叙述(1)而产生，且相较于与该第二叙述格式相符的该等电路叙述(4，5)，与该第一叙述格式相符的该电路叙述(1)具有一较高的该等信号路径识别码信息内容；其特征在于该指定信息是以与该第二叙述格式相符的该至少二电路叙述(4，5)的一函数以及与该第一叙述格式相符的该电路叙述(1)的至少一部份的一函数而产生。2.如权利要求1所述的方法，其特征在于该第一叙述格式是一缓存器转移层级的叙述。3.如前述各项权利要求中任一所述的方法，其特征在于该第二叙述格式是一网络清单格式。4.如前述各项权利要求中任一所述的方法，其特征在于该指定信息是以信号路径识别码的一函数而产生，而所述的信号路径识别码识别了多个相互关联的信号路径。5.如前述各项权利要求中任一所述的方法，其特征在于该第二叙述格式储存了较第一叙述格式更低的抽象化层级的数字电路。6.如前述各项权利要求中任一所述的方法，其特征在于该指定信息是以数字方式储存。7.一种用于产生指定信息的装置，该指定信息是用于指定至少两个数字储存电路叙述(4，5)的信号路径的信号路径识别码，其中该至少二数字储存电路叙述(4，5)乃依照数字电路的一第二叙述格式而叙述数字电路，其中所述两数字储存电路各藉由转化与一第一叙述格式相符的一电路叙述(1)而产生，且相较于与该第二叙述格式相符的该等电路叙述(4，5)，与该第一叙述格式相符的该电路叙述(1)乃具有一较高的该等信号路径识别码信息内容；其特征在于该装置具有用于读取与该第二叙述格式相符的该等电路叙述(4，5)的装置、用于读取与该第一叙述格式相符的该电路叙述(1)的装置以及数据处理装置，其中该数据处理装置是设计为能够以与该第二叙述格式相符的该至少二电路叙述(4，5)的一函数以及与该第一叙述格式相符的该电路叙述(1)的至少一部份的一函数而产生该指定信息。8.如权利要求7所述的装置，其特征在于该装置是设计以执行一如权利要求1至6中任一的方法。9.一种具有可电子读取控制信号的数字储存介质，其是以能够与一可编程的数据处理装置相互作用的形式设计，进而使该数据处理装置执行一如权利要求1至6中任一所述的方法。10.一种包含一程序代码的计算器程序产品，该程序代码是储存于一可机械读取的介质上，其在一计算器执行或使用该程序时乃执行一如权利要求1至6中任一项所述的方法。11.一种用于自与一第一叙述格式相符的一电路叙述...

【专利技术属性】
技术研发人员：W冈瑟，R德雷奇斯勒，
申请(专利权)人：因芬尼昂技术股份公司，
类型：发明
国别省市：DE[德国]