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

被引：8

作者：

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 条

[31] Stochastic Functional Data Analysis: A Diffusion Model-Based Approach [J].

Zhu, Bin ;

Song, Peter X. -K. ;

Taylor, Jeremy M. G. .

BIOMETRICS, 2011, 67 (04) :1295-1304

[32] Identification of Brain Functional Networks Using a Model-Based Approach [J].

Oikonomou, Vangelis P. ;

Blekas, Konstantinos ;

Astrakas, Loukas .

INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2020, 34 (08)

[33] A Model-based Approach for Verification of the Large Lenslet Array Magellan Spectrograph (LLAMAS) [J].

Stenzel, June ;

Masterson, Rebecca ;

Simcoe, Robert A. .

2024 IEEE AEROSPACE CONFERENCE, 2024,

[34] A System-Level Approach for Model-Based Verification of Distributed Software Systems [J].

Mireslami, Seyedehmehrnaz ;

Far, Behrouz H. .

2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, :2545-2550

[35] Verification and Validation Test Framework Using a Model-Based Systems Engineering Approach [J].

Ramirez, Clara ;

Thompson, Amy .

INCOSE International Symposium, 2023, 33 (01) :1091-1116

[36] Formal Model and Code Verification in Model-Based Design [J].

Popovici, Katalin ;

Lalo, Marc .

2009 JOINT IEEE NORTH-EAST WORKSHOP ON CIRCUITS AND SYSTEMS AND TAISA CONFERENCE, 2009, :392-395

[37] Model-based verification of quantitative non-functional properties for software product lines [J].

Ghezzi, Carlo ;

Sharifloo, Amir Molzam .

INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (03) :508-524

[38] Spatial orientation: Model-based approach to multi-sensory mechanisms [J].

Kheradmand, Amir ;

Otero-Millan, Jorge .

MATHEMATICAL MODELLING IN MOTOR NEUROSCIENCE: STATE OF THE ART AND TRANSLATION TO THE CLINIC. OCULAR MOTOR PLANT AND GAZE STABILIZATION MECHANISMS, 2019, 248 :209-223

[39] A model-based trajectory planning approach for flexible-link mechanisms [J].

Boscariol, Paolo ;

Gasparetto, Alessandro ;

Vidoni, Renato ;

Romano, Armando .

2013 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS (ICM), 2013,

[40] ON THE VERIFICATION OF HYPOTHESIZED MATCHES IN MODEL-BASED RECOGNITION [J].

GRIMSON, WEL ;

HUTTENLOCHER, DP .

IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1991, 13 (12) :1201-1213

← 1 2 3 4 5 →