数字电路等效性比较方法及装置

摘要

本发明乃提出指定信息，其指定与该第二叙述格式相符的电路叙述(4、5)的信号路径识别码，并以与该第一叙述格式相符的该电路叙述(1)的一函数而产生，且与该第二叙述格式相符的电路叙述(4、5)亦已藉由与该第一叙述格式相符的该电路叙述(1)的转化而产生。此外，与该第二叙述格式相符的该等电路叙述(4、5)乃藉由与该第一叙述格式相符的该电路叙述(1)的转化而产生，进而使得该等信号路径识别码的信息内容不会较小，因而有助于在一等效性比较(6)中指定该等信号路径识别码。