首页> 外国专利> Trace Equivalence Identification Through Structural Isomorphism Detection With On The Fly Logic Writing

Trace Equivalence Identification Through Structural Isomorphism Detection With On The Fly Logic Writing

机译：通过Fly逻辑写作通过结构同构检测痕量等价性

页面导航

摘要
著录项
相似文献

摘要

A method for performing trace equivalent identification by structural isomorphism detection, the method comprising: synthesizing a first netlist into a second netlist, the second netlist including two-input AND gates, inversions, inputs, constants, and registers; constructing a third netlist, the third netlist being a pseudo-canonical netlist that uses calls to algorithms for constructing a netlist for gate g1 and for constructing a netlist for gate g2, where g1 and g2 are gates; and performing an isomorphism check of gates g1 and g2.

机译：一种通过结构同构检测执行痕量等效识别的方法，该方法包括：将第一网表合成为第二网表，第二网表包括双输入与门，取反，输入，常数和寄存器;以及构造第三个网表，第三个网表是伪规范网表，使用对算法的调用来构造门g 1 的网表和构造门g 2，其中g 1 和g 2 是门;对门g 1 和g 2进行同构检查。 展开▼

著录项

公开/公告号US2007271534A1

专利类型

公开/公告日2007-11-22

原文格式PDF

申请/专利权人 JASON R. BAUMGARTNER;ROBERT L. KANZELMAN;HARI MONY;VIRESH PARUTHI;
展开▼

申请/专利号US20060383770

发明设计人 JASON R. BAUMGARTNER;ROBERT L. KANZELMAN;HARI MONY;VIRESH PARUTHI;
展开▼

申请日2006-05-17

分类号G06F17/50;

国家 US

入库时间 2022-08-21 20:13:21

相似文献

专利

外文文献

中文文献

1. 一种痕量砷化氢气体的吸收介质及其制备方法、痕量砷化氢气体的检测装置及检测方法 [P] . 中国专利： CN107051180B . 2019.06.07

2. 痕量蛋白检测反应底物及痕量蛋白的快速检测方法 [P] . 中国专利： CN109856070A . 2019-06-07

3. Trace equivalence identification through structural isomorphism detection with on the fly logic writing [P] . 美国专利： US7398488B2 . 2008-07-08

机译：通过结构同构检测和动态逻辑写入进行痕量等价识别

4. LOGIC EQUIVALENCE VERIFICATION DEVICE, LOGIC EQUIVALENCE VERIFICATION METHOD, LOGIC EQUIVALENCE VERIFICATION PROGRAM AND RECORDING MEDIUM [P] . 日本专利： JP2008262337A . 2008-10-30

机译：逻辑等价验证装置，逻辑等价验证方法，逻辑等价验证程序和记录介质

5. LOGIC EQUIVALENCE VERIFICATION SYSTEM, LOGIC EQUIVALENCE VERIFICATION METHOD, METHOD FOR MANUFACTURING SEMICONDUCTOR INTEGRATED CIRCUIT, CONTROL PROGRAM AND READABLE STORAGE MEDIUM [P] . 日本专利： JP2010257003A . 2010-11-11

机译：逻辑等效验证系统，逻辑等效验证方法，制造半导体集成电路的方法，控制程序和可读存储介质

1. Fault detection and identification for dead reckoning system of mobile robot based on fuzzy logic particle filter [J] . YU Ling-li, CAI Zi-xing, ZHOU Zhi, 中南大学学报（英文版） . 2012,第005期

2. Fault detection and identification based on combining logic and model in a wall-climbing robot [J] . Yong JIANG, Hongguang WANG, Lijin FANG, 控制理论与应用（英文版） . 2009,第002期

3. Fault detection and identification based on combining logic and model in a wall-climbing robot [J] . Yong JIANG, Hongguang WANG, Lijin FANG, 控制理论与应用：英文版 . 2009,第002期

4. Feasibility of Trace Alcohol Congener Detection and Identification Using Laser-Induced Breakdown Spectroscopy [J] . ZHANG Jialiang, WANG Shangmin, ZHAO Lixian, 等离子体科学和技术（英文版） . 2014,第012期

5. Applications of Structural Equivalence to Subgraph Isomorphism on Multichannel Multigraphs [C] . Thien Nguyen, Dominic Yang, Yurun Ge, IEEE International Conference on Big Data . 2019

6. An inquiry into the number of isomorphism classes of Boolean algebras and the Borel cardinality of certain Borel equivalence relations. [D] . Oliver, Michael Ray. 2003

7. Do Cross-National and Ethnic Group Bullying Comparisons Represent Reality? Testing Instruments for Structural Equivalence and Structural Isomorphism [O] . Muthanna Samara, Mairéad Foody, Kristin Göbel, 1993

8. Partially redundant logic detection using symbolic equivalence checking in reversible and irreversible logic circuits [O] . David Y. Feinstein 2014

9. Impact of Phlebotomine Sand Flies on U.S. Military Operations at Tallil Air Base, Iraq: 4. Detection and Identification of Leishmania Parasites in Sand Flies [R] . Coleman, R E, Hochberg, L P, Swanson, KI, 2009

1. Fault detection and identification for dead reckoning system of mobile robot based on fuzzy logic particle filter [J] . 余伶俐 ,蔡自兴 ,周智 . 中南大学学报 . 2012,第005期

2. 本科高校转型:学科逻辑与应用逻辑的同构共生 [C] . 薛飞湖 . 2016四川省教育学会教育学专委会年会 . 2016

3. 基于形式验证方法的数字LTE芯片逻辑等价性分析及研究 [A] . 冀禹麟 . 2017