Search-space optimizations for high-level ATPG

被引：0
|
作者：
Campos, Jorge [1 ]
Al-Asaad, Hussain [1 ]
机构：
[1] Univ Calif Davis, Dept Elect & Comp Engn, Davis, CA 95616 USA
来源：
MTV 2005: SIXTH INTERNATIONAL WORKSHOP ON MICROPRESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architectural states (prospect states) that can possibly satisfy a set of constraints during MVP's test generation, we need to reduce the search space in the analysis process as early as possible. In this paper we present some optimizations in the search space that speed up the overall test generation process.
引用
收藏
页码：84 / +
页数：2
相关论文
共 50 条
  • [1] High-level observability for effective high-level ATPG
    Corno, Fulvio
    Sonza Reorda, Matteo
    Squillero, Giovanni
    [J]. Proceedings of the IEEE VLSI Test Symposium, 2000, : 411 - 416
  • [2] DSSP-ATPG: A Deterministic Search-Space Parallel Test Pattern Generator
    Yeh, Kuen-Wei
    Huang, Jiun-Lang
    [J]. 2020 IEEE INTERNATIONAL TEST CONFERENCE IN ASIA (ITC-ASIA 2020), 2020, : 124 - 129
  • [3] Effective techniques for high-level ATPG
    Corno, F
    Cumani, G
    Reorda, MS
    Squillero, G
    [J]. 10TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2001, : 225 - 230
  • [4] OPTIMIZATIONS IN HIGH-LEVEL SYNTHESIS
    ROSENSTIEL, W
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1986, 18 (1-5): : 347 - 352
  • [5] Evaluating Optimizations for a High-Level Language
    Kaplan, Leonardo
    Ierusalimschy, Roberto
    [J]. 25TH BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES, SBLP 2021, 2021, : 25 - 32
  • [6] EFSM manipulation to increase high-level ATPG effectiveness
    Di Guglielmo, Giuseppe
    Fummi, Franco
    Marconcini, Cristina
    Pravadelli, Graziano
    [J]. ISQED 2006: PROCEEDINGS OF THE 7TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2006, : 57 - +
  • [7] Search-Space Size in Contraction Hierarchies
    Bauer, Reinhard
    Columbus, Tobias
    Rutter, Ignaz
    Wagner, Dorothea
    [J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, PT I, 2013, 7965 : 93 - 104
  • [8] Enhancing topological ATPG with high-level information and symbolic techniques
    Corno, F
    Patel, JH
    Rudnick, EM
    Reorda, MS
    Vietti, R
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 504 - 509
  • [9] Search-space size in contraction hierarchies
    Bauer, Reinhard
    Columbus, Tobias
    Rutter, Ignaz
    Wagner, Dorothea
    [J]. THEORETICAL COMPUTER SCIENCE, 2016, 645 : 112 - 127
  • [10] Search-space Decomposition for System-level Design Space Exploration of Embedded Systems
    Richthammer, Valentina
    Fassnacht, Fabian
    Glass, Michael
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2020, 25 (02)
12345