Efficient control state-space search

被引：1
|
作者：
Aziz, A [1 ]
Kukula, J
Shiple, T
Yuan, J
机构：
[1] Univ Texas, Dept Elect & Comp Engn, Austin, TX 78712 USA
[2] Synopsys Inc, Adv Technol Grp, Mountain View, CA 94043 USA
[3] Motorola Inc, Austin, TX 78729 USA
来源：
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2001年 / 20卷 / 02期
基金：
美国国家科学基金会;
关键词：
BDDs; coverage; digital hardware; reachability analysis; verification;
D O I：
10.1109/43.908475
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We develop algorithms for exploring the reachable State-space of hardware designs that can be partitioned into control and data. The core procedure is a symbolic algorithm that tries to visit as many controller states as is computationally feasible. Here, we describe heuristics for making this traversal efficient. Experiments demonstrate that our approach is capable of achieving significantly greater coverage of the control state-space than conventional symbolic reachability analysis.
引用
收藏
页码：332 / 336
页数：5
相关论文
共 50 条
  • [1] TIME-EFFICIENT STATE-SPACE SEARCH
    REINEFELD, A
    RIDINGER, P
    ARTIFICIAL INTELLIGENCE, 1994, 71 (02) : 397 - 408
  • [2] AN EFFICIENT STATE-SPACE SEARCH FOR THE SYNTHESIS OF ASYNCHRONOUS CIRCUITS BY SUBSPACE CONSTRUCTION
    MIYAMOTO, T
    LEE, DI
    KUMAGAI, S
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1504 - 1510
  • [3] Parallel randomized state-space search
    Dwyer, Matthew B.
    Elbaum, Sebastian
    Person, Suzette
    Purandare, Rahul
    ICSE 2007: 29TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 3 - +
  • [4] STATE-SPACE SEARCH FOR HIGH-LEVEL CONTROL OF MACHINE VISION
    HWANG, SY
    OPTICAL ENGINEERING, 1992, 31 (06) : 1264 - 1276
  • [5] STATE-SPACE PREDICTIVE CONTROL
    BALCHEN, JG
    LJUNGQUIST, D
    STRAND, S
    CHEMICAL ENGINEERING SCIENCE, 1992, 47 (04) : 787 - 807
  • [6] A TECHNIQUE OF STATE-SPACE SEARCH BASED ON UNFOLDING
    MCMILLAN, KL
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 6 (01) : 45 - 65
  • [7] PARALLELIZATION OF THE SSS (STATE-SPACE SEARCH) ALGORITHM
    KRAAS, HJ
    ICCA JOURNAL, 1990, 13 (03): : 143 - 144
  • [8] Computationally efficient predictive control based on ANN state-space models
    Hoekstra, Jan H.
    Cseppento, Bence
    Beintema, Gerben, I
    Schoukens, Maarten
    Kollar, Zsolt
    Toth, Roland
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 6336 - 6341
  • [9] SEARCH FOR AN OPTIMAL PATH OF A GRAPH IN A STATE-SPACE
    PETRENKO, AI
    TETELBAUM, AI
    SHRAMCHENKO, BL
    ENGINEERING CYBERNETICS, 1980, 18 (06): : 97 - 102
  • [10] SUPERLINEAR SPEEDUP IN PARALLEL STATE-SPACE SEARCH
    RAO, VN
    KUMAR, V
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 338 : 161 - 174
12345