ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
equivalence verification
Recently Published Documents
TOTAL DOCUMENTS
53
(FIVE YEARS 6)
H-INDEX
11
(FIVE YEARS 1)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close