equivalence verification Latest Research Papers

Geometric Path Enumeration for Equivalence Verification of Neural Networks

10.1109/ictai52525.2021.00035 ◽

2021 ◽

Author(s):

Samuel Teuber ◽

Marko Kleine Buning ◽

Philipp Kern ◽

Carsten Sinz

Keyword(s):

Neural Networks ◽

Equivalence Verification

Download Full-text

Equivalence Verification of Multipliers Based on Gr?bner Basis Method

Advances in Applied Mathematics ◽

10.12677/aam.2021.101039 ◽

2021 ◽

Vol 10 (01) ◽

pp. 343-350

Author(s):

璇思张

Keyword(s):

Equivalence Verification ◽

Bner Basis ◽

Basis Method

Download Full-text

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits

2020 IEEE 63rd International Midwest Symposium on Circuits and Systems (MWSCAS) ◽

10.1109/mwscas48704.2020.9184477 ◽

2020 ◽

Author(s):

Son N. Le ◽

Sudarshan K. Srinivasan ◽

Scott C. Smith

Keyword(s):

Equivalence Verification

Download Full-text

VeriTable: Fast equivalence verification of multiple large forwarding tables

Computer Networks ◽

10.1016/j.comnet.2019.106981 ◽

2020 ◽

Vol 168 ◽

pp. 106981

Author(s):

Yaoqing Liu ◽

Garegin Grigoryan ◽

Jun Li ◽

Guchuan Sun ◽

Tony Tauber

Keyword(s):

Equivalence Verification

Download Full-text

An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits

2019 IEEE International Symposium on Circuits and Systems (ISCAS) ◽

10.1109/iscas.2019.8702098 ◽

2019 ◽

Cited By ~ 1

Author(s):

Mousam Hossain ◽

Ashiq A. Sakib ◽

Sudarshan K. Srinivasan ◽

Scott C. Smith

Keyword(s):

Logic Circuits ◽

Equivalence Verification ◽

Sleep Convention Logic ◽

Verification Methodology

Download Full-text

Equivalence Verification of the Induced Polarization and Complex Resistivity Dispersion in the Core

10.3997/2214-4609.201901070 ◽

2019 ◽

Author(s):

J. Jia ◽

S. Ke ◽

Z. Kang ◽

J. Li ◽

S. Chen ◽

...

Keyword(s):

Induced Polarization ◽

Complex Resistivity ◽

The Core ◽

Equivalence Verification

Download Full-text

An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits

2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS) ◽

10.1109/mwscas.2018.8624068 ◽

2018 ◽

Cited By ~ 2

Author(s):

Ashiq A. Sakib ◽

Scott C. Smith ◽

Sudarshan K. Srinivasan

Keyword(s):

Equivalence Verification ◽

Verification Methodology

Download Full-text

VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables

IEEE INFOCOM 2018 - IEEE Conference on Computer Communications ◽

10.1109/infocom.2018.8485948 ◽

2018 ◽

Cited By ~ 2

Author(s):

Garegin Grigoryan ◽

Yaoqing Liu ◽

Michael Leczinsky ◽

Jun Li

Keyword(s):

Equivalence Verification

Download Full-text

The Development and Construct Equivalence Verification of Badminton Enjoyment Inventory

Korean Journal of Sport Studies ◽

10.23949/kjpe.2017.07.56.4.30 ◽

2017 ◽

Vol 56 (4) ◽

pp. 457-471

Author(s):

Hyun-Ki Jo ◽

Jae-Wook Hwang

Keyword(s):

Construct Equivalence ◽

Equivalence Verification

Download Full-text

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 ◽

10.1145/2966986.2967001 ◽

2016 ◽

Cited By ~ 5

Author(s):

Nian-Ze Lee ◽

Hao-Yuan Kuo ◽

Yi-Hsiang Lai ◽

Jie-Hong R. Jiang

Keyword(s):

Logic Circuits ◽

Threshold Logic ◽

Equivalence Verification

Download Full-text

equivalence verification
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Geometric Path Enumeration for Equivalence Verification of Neural Networks

Equivalence Verification of Multipliers Based on Gr?bner Basis Method

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits

VeriTable: Fast equivalence verification of multiple large forwarding tables

An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits

Equivalence Verification of the Induced Polarization and Complex Resistivity Dispersion in the Core

An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits

VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables

The Development and Construct Equivalence Verification of Badminton Enjoyment Inventory

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Export Citation Format

equivalence verificationRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Geometric Path Enumeration for Equivalence Verification of Neural Networks

Equivalence Verification of Multipliers Based on Gr?bner Basis Method

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits

VeriTable: Fast equivalence verification of multiple large forwarding tables

An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits

Equivalence Verification of the Induced Polarization and Complex Resistivity Dispersion in the Core

An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits

VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables

The Development and Construct Equivalence Verification of Badminton Enjoyment Inventory

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

equivalence verification
Recently Published Documents