公开(公告)号：US20160189720A1

公开(公告)日：2016-06-30

申请号：US14655037

申请日：2014-01-07

申请人： RAYTHEON COMPANY

发明人： Lars VILLEMOES

IPC分类号： G10L19/02 ,  G10L19/005 ,  G10L19/26 ,  G10L19/032 ,  G10L19/06

CPC分类号： G10L19/0208 ,  G06F17/5045 ,  G06F17/505 ,  G10L19/005 ,  G10L19/0212 ,  G10L19/032 ,  G10L19/06 ,  G10L19/093 ,  G10L19/26 ,  G10L19/265

摘要： A method and method of extracting information from a netlist. The netlist for a device under test (DUT) is read and a circuit selected to be transformed. Transformation candidates are identified using transformation specific criteria and verification methods are applied to prove the transformation is equivalent to the circuit being transformed. If the candidate transformation is equivalent to the circuit being transformed, the system commits to the transformation. If the candidate transformation is not equivalent to the circuit being transformed, the transformation is undone.

摘要翻译： 从网表提取信息的方法和方法。 读取被测设备（DUT）的网表，并选择要转换的电路。 使用转换特定标准识别转换候选者，并应用验证方法来证明转换相当于被转换的电路。 如果候选变换相当于被转换的电路，则系统进行转换。 如果候选变换不等于被转换的电路，转换将被撤销。