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 条
  • [21] EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS
    Lam, Vitus S. W.
    Padget, Julian
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (02) : 265 - 304
  • [22] Sequential equivalence checking based on structural similarities
    van Eijk, CAJ
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (07) : 814 - 819
  • [23] An Equivalence Checking Framework for Agile Hardware Design
    Wang, Yanzhao
    Xie, Fei
    Yang, Zhenkun
    Cocchini, Pasquale
    Yang, Jin
    2023 28TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC, 2023, : 26 - 32
  • [24] Automated equivalence checking of switch level circuits
    Jolly, S
    Parashkevov, A
    McDougall, T
    39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 299 - 304
  • [25] Equivalence Checking of Array-Intensive Programs
    Karfa, C.
    Banerjee, K.
    Sarkar, D.
    Mandal, C.
    2011 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2011, : 156 - 161
  • [26] Equivalence Checking for Compiler Transformations in Behavioral Synthesis
    Yang, Zhenkun
    Hao, Kecheng
    Cong, Kai
    Ray, Sandip
    Xie, Fei
    2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 491 - 494
  • [27] Combinational equivalence checking through function transformation
    Kwak, HH
    Moon, IH
    Kukula, JH
    Shiple, TR
    IEEE/ACM INTERNATIONAL CONFERENCE ON CAD-02, DIGEST OF TECHNICAL PAPERS, 2002, : 526 - 533
  • [28] AQUILA: An equivalence checking system for large sequential designs
    Huang, SY
    Cheng, KT
    Chen, KC
    Huang, CY
    Brewer, F
    IEEE TRANSACTIONS ON COMPUTERS, 2000, 49 (05) : 443 - 464
  • [29] Memory modeling in ESL-RTL equivalence checking
    Koelbl, Alfred
    Burch, Jerry R.
    Pixley, Carl
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 205 - +
  • [30] QCEC: A JKQ tool for quantum circuit equivalence checking
    Burgholzer, Lukas
    Wille, Robert
    SOFTWARE IMPACTS, 2021, 7
12345