DVGen: Increasing coverage by automatically combining test specifications

被引：0
|
作者：
Rich, Kevin D. [1 ]
Shaw, Robert [1 ]
Govindaraju, Shankar G. [1 ]
Dobrikin, David [1 ]
机构：
[1] Transmeta Corp, Santa Clara, CA 95054 USA
来源：
HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
DVGen is a novel microprocessor test generator that allows the verification engineer to focus only on capturing test intent via minimally constrained test specifications. DVGen combines test specifications to generate tests that preserve the intent of each specification while causing the concurrent occurrence of interesting events from each specification. DVGen is very effective at uncovering multi-dimensional corner case bugs, which have historically been the bane of complex designs.
引用
收藏
页码：3 / +
页数：2
相关论文
共 50 条
  • [21] Animation automatically generated from simulation specifications
    Cramer, Bastian
    Kastens, Uwe
    2009 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2009, : 157 - 164
  • [22] Coverage of implementations by simulating specifications
    Chockler, H
    Kupferman, O
    FOUNDATIONS OF INFORMATION TECHNOLOGY IN THE ERA OF NETWORK AND MOBILE COMPUTING, 2002, 96 : 409 - 421
  • [23] Real-time Java']Java API Specifications for High Coverage Test Generation
    Ahrendt, Wolfgang
    Mostowski, Wojciech
    Paganelli, Gabriele
    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS, 2012, : 145 - 154
  • [24] Combining Code and Requirements Coverage with Execution Cost for Test Suite Reduction
    Marchetto, Alessandro
    Scanniello, Giuseppe
    Susi, Angelo
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2019, 45 (04) : 363 - 390
  • [25] Dynamic Adjustment of Test-Sequence Duration for Increasing the Functional Coverage
    Takakis, Zacharias
    Mangiras, Dimitrios
    Nicopoulos, Chrysostomos
    Dimitrakopoulos, Giorgos
    2019 IEEE 4TH INTERNATIONAL VERIFICATION AND SECURITY WORKSHOP (IVSW 2019), 2019, : 61 - 66
  • [26] Ideal test specifications for transmissions: Representative test specifications and development of test cycles
    Institute of Automotive Engineering, TU Braunschweig, Germany
    VDI Ber., 2009, 2071 (647-659):
  • [27] Using a genetic algorithm and formal concept analysis to generate branch coverage test data automatically
    Khor, S
    Grogono, P
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 346 - 349
  • [28] Effective techniques for automatically improving the transition delay fault coverage of Self-Test Libraries
    Cantoro, Riccardo
    Garau, Francesco
    Girard, Patrick
    Kolahimahmoudi, Nima
    Sartoni, Sandro
    Reorda, Matteo Sonza
    Virazel, Arnaud
    2022 IEEE EUROPEAN TEST SYMPOSIUM (ETS 2022), 2022,
  • [29] Fault localization on Test Coverage and Functional Issue for SoC Product with Combining Bench and Pattern Test
    Tian, Li
    Xiao, Nan
    Li, Ang
    Zheng, Shijun
    Bian, Haijiao
    Yang, Jianli
    2024 IEEE INTERNATIONAL SYMPOSIUM ON THE PHYSICAL AND FAILURE ANALYSIS OF INTEGRATED CIRCUITS, IPFA 2024, 2024,
  • [30] Automatically refereed scholarly electronic journal: Formal specifications
    Mizzaro, Stefano
    Riziò, Paolo Zandegiacomo
    Informatica (Ljubljana), 2000, 24 (04): : 431 - 438
12345