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 条
  • [31] MULTIMODEL APPROACH IN STATE-SPACE PREDICTIVE CONTROL
    Rusar, Lukas
    Bobal, Vladimir
    32ND EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2018), 2018, : 232 - 238
  • [32] A STATE-SPACE FORMULATION FOR MODEL PREDICTIVE CONTROL
    LI, SF
    LIM, KY
    FISHER, DG
    AICHE JOURNAL, 1989, 35 (02) : 241 - 249
  • [33] Efficient symbolic state-space construction for asynchronous systems
    Ciardo, G
    Lüttgen, G
    Siminiceanu, R
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 103 - 122
  • [34] Efficient Kalman smoothing for harmonic state-space models
    Barber, David
    2006 IEEE International Conference on Acoustics, Speech and Signal Processing, Vols 1-13, 2006, : 2979 - 2982
  • [35] EFFICIENT HYBRID AND STATE-SPACE ANALYSIS OF ADJOINT NETWORK
    GADENZ, RN
    TEMES, GC
    IEEE TRANSACTIONS ON CIRCUIT THEORY, 1972, CT19 (05): : 520 - &
  • [36] State-Space Search to Find Energy-Aware Pareto-Efficient Optimal Task Schedules
    Udagedara, Yasith
    Raith, Andrea
    Sinnen, Oliver
    2024 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW 2024, 2024, : 964 - 973
  • [37] Rational deployment of multiple heuristics in optimal state-space search
    Karpas, Erez
    Betzalel, Oded
    Shimony, Solomon Eyal
    Tolpin, David
    Felner, Ariel
    ARTIFICIAL INTELLIGENCE, 2018, 256 : 181 - 210
  • [38] Combining Preference Elicitation and Search in Multiobjective State-Space Graphs
    Benabbou, Nawal
    Perny, Patrice
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 297 - 303
  • [39] KRYLOV SPACE METHODS ON STATE-SPACE CONTROL-MODELS
    BOLEY, DL
    CIRCUITS SYSTEMS AND SIGNAL PROCESSING, 1994, 13 (06) : 733 - 758
  • [40] Further Explorations in State-Space Search for Optimal Task Scheduling
    Orr, Michael
    Sinnen, Oliver
    2017 IEEE 24TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2017, : 134 - 141
12345