RANDOMIZED ALGORITHM FOR CHECKING EQUIVALENCE OF CIRCULAR LISTS

被引：1
作者：
ITAI, A
机构：
[1] Computer Science Division, University of California, Berkeley
来源：
INFORMATION PROCESSING LETTERS | 1979年 / 9卷 / 03期
关键词：
Circular lists; equivalence checking; randomization;
D O I：
10.1016/0020-0190(79)90051-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：118 / 121
页数：4
相关论文
共 50 条
[41]   Using Logic Synthesis and Circuit Reasoning for Equivalence Checking [J].
Fan, Quanrun ;
Pan, Feng ;
Duan, Xindong .
ADVANCED MANUFACTURING SYSTEMS, PTS 1-3, 2011, 201-203 :836-840
[42]   Equivalence checking of arithmetic circuits on the arithmetic bit level [J].
Stoffel, D ;
Kunz, W .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2004, 23 (05) :586-597
[43]   Robust Boolean reasoning for equivalence checking and functional property verification [J].
Kuehlmann, A ;
Paruthi, V ;
Krohm, F ;
Ganai, MK .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2002, 21 (12) :1377-1394
[44]   Verifying Parallel Code After Refactoring Using Equivalence Checking [J].
Abadi, Moria ;
Keidar-Barner, Sharon ;
Pidan, Dmitry ;
Veksler, Tatyana .
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2019, 47 (01) :59-73
[45]   Advanced methods for equivalence checking of analog circuits with strong nonlinearities [J].
Sebastian Steinhorst ;
Lars Hedrich .
Formal Methods in System Design, 2010, 36 :131-147
[46]   A Hybrid Method for Equivalence Checking Between System Level and RTL [J].
Hu, Jian ;
Hu, Minhui ;
Zhao, Kuang ;
Kang, Yun ;
Yang, Haitao ;
Cheng, Jie .
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2022, 31 (09)
[47]   DP lower bounds for equivalence-checking and model-checking of one-counter automata [J].
Jancar, P ;
Kucera, A ;
Moller, F ;
Sawa, Z .
INFORMATION AND COMPUTATION, 2004, 188 (01) :1-19
[48]   Handling Design and Implementation Optimizations in Equivalence Checking for Behavioral Synthesis [J].
Yang, Zhenkun ;
Hao, Kecheng ;
Ray, Sandip ;
Xie, Fei .
2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
[49]   Using equivalence-checking to verify robustness to denial of service [J].
Lafrance, Stephane .
COMPUTER NETWORKS, 2006, 50 (09) :1327-1348
[50]   Radiomic Features for Medical Images Tamper Detection by Equivalence Checking [J].
Brunese, Luca ;
Mercaldo, Francesco ;
Reginelli, Alfonso ;
Santone, Antonella .
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 :1795-1802
12345