DeepTrans - A model-based approach to functional verification of address translation mechanisms

被引：7
|
作者：
Adir, A [1 ]
Emek, R [1 ]
Katz, Y [1 ]
Koyfman, A [1 ]
机构：
[1] IBM Res Lab, Haifa, Israel
来源：
4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS | 2003年
关键词：
D O I：
10.1109/MTV.2003.1250255
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a new test case generation technology, specifically targeted at verifying systems that include address translation mechanisms. The ever-growing demand for performance makes these mechanisms more complex, thereby increasing the risk of bugs and increasing the need for such technology. DeepTrans is a package that provides model-based test generation capabilities to verify translation mechanisms based on a modeling language. The modeling language includes constructs for describing the address translation process, commonly used translation resources, and architecture rules related to translation. DeepTrans is currently used by two different IBM test generators.
引用
收藏
页码：3 / 6
页数：4
相关论文
共 50 条
  • [1] DeepTrans - Extending the model-based approach to functional verification of address translation mechanisms
    Adir, Allon
    Fournier, Laurent
    Katz, Yoav
    Koyfman, Anatoly
    HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 103 - +
  • [2] Model-Based Functional Verification
    Kundert, Ken
    Chang, Henry
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 421 - 424
  • [3] A Statistical Model-based Approach to NE Translation
    Yu, Wang
    WKDD: 2009 SECOND INTERNATIONAL WORKSHOP ON KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2009, : 97 - 99
  • [4] A model-based approach for the specification and verification of clinical guidelines
    Bernardi, Simona
    Albareda, Jorge
    Colom, Jose-Manuel
    Mahulea, Cristian
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [5] Model-based testing for the verification of the functional ability of microstructured surfaces
    Hartmann, Wito
    Weckenmann, Albert
    TM-TECHNISCHES MESSEN, 2014, 81 (05) : 228 - 236
  • [6] Mechanisms and Model-Based Functional Magnetic Resonance Imaging
    Povich, Mark
    PHILOSOPHY OF SCIENCE, 2015, 82 (05) : 1035 - 1046
  • [7] Generation of test data for verification of caching mechanisms and address translation in microprocessors
    Kornykhin, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2010, 36 (01) : 28 - 35
  • [8] Generation of test data for verification of caching mechanisms and address translation in microprocessors
    E. V. Kornykhin
    Programming and Computer Software, 2010, 36 : 28 - 35
  • [9] A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
    Cubo, Javier
    Salaun, Gwen
    Canal, Carlos
    Pimentel, Ernesto
    Poizat, Pascal
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 215 : 39 - 55
  • [10] A model-based approach for design and verification of Industrial Internet of Things
    Muthukumar, N.
    Srinivasan, Seshadhri
    Ramkumar, K.
    Pal, Deepak
    Vain, Juri
    Ramaswamy, Srini
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2019, 95 : 354 - 363
12345