Tools for Functional Verification of Microprocessors

Tools for Functional Verification of Microprocessors

Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental problem. To deal with it, various tools for functional verification are used. Unlike bugs in software programs which are relatively easy to fix (it does not apply to their consequences), defects in integ...

Повний опис

Бібліографічні деталі
Автори:	A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Формат:	Стаття
Мова:	English
Опубліковано:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Серія:	Труды Института системного программирования РАН
Предмети:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Онлайн доступ:	https://ispranproceedings.elpub.ru/jour/article/view/771

Схожі ресурси

A Survey of Methods and Tools for Test Program Generation for Microprocessors
за авторством: A. D. Tatarnikov
Опубліковано: (2018-10-01)

Language for Describing Templates for Test Program Generation for Microprocessors
за авторством: A. D. Tatarnikov
Опубліковано: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
за авторством: M. S. Lebedev, та інші
Опубліковано: (2018-10-01)

MicroTESK-Based Test Program Generator for the ARMv8 Architecture
за авторством: A. S. Kamkin, та інші
Опубліковано: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
за авторством: V. P. Ivannikov, та інші
Опубліковано: (2018-10-01)

Test Generation for Digital Hardware Based on High-Level Models
за авторством: M. M. Chupilko, та інші
Опубліковано: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
за авторством: I. . Melnichenko, та інші
Опубліковано: (2018-10-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
за авторством: A. . Kamkin, та інші
Опубліковано: (2018-10-01)

Combinatorial generation of operation system software configurations
за авторством: V. V. Kuliamin
Опубліковано: (2018-10-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
за авторством: Alexander Kamkin, та інші
Опубліковано: (2018-10-01)

Extracting Assertions for Conflicts in HDL Descriptions
за авторством: Alexander Sergeevitch Kamkin, та інші
Опубліковано: (2019-09-01)

The final models of specification
за авторством: Igor Bourdonov, та інші
Опубліковано: (2018-10-01)

Mirror-based method of constraints generation for test programs generation by test template
за авторством: Evgeni V. Kornykhin
Опубліковано: (2018-10-01)

Error dependencies on classes of implementations under testing
за авторством: Alexander Kossatchev
Опубліковано: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
за авторством: I. A. Yakimov, та інші
Опубліковано: (2018-10-01)

Component-based verification of operating systems
за авторством: V. V. Kuliamin, та інші
Опубліковано: (2019-02-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
за авторством: A. S. Kamkin, та інші
Опубліковано: (2018-10-01)

Test environment for verification of multi-processor memory subsystem unit
за авторством: Dmitry Alexeevitch Lebedev, та інші
Опубліковано: (2019-09-01)

A Survey of Methods for Model Extraction from HDL Descriptions
за авторством: S. A. Smolov
Опубліковано: (2018-10-01)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
за авторством: A. V. Samonov, та інші
Опубліковано: (2018-12-01)

Visual Dataflow Language for Educational Robots Programming
за авторством: G. A. Zimin, та інші
Опубліковано: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
за авторством: Igor Burdonov, та інші
Опубліковано: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
за авторством: Mary Sergeevna Krivozjateva, та інші
Опубліковано: (2020-03-01)

Model-based testing of Internet Mail Protocols
за авторством: N. V. Pakulin, та інші
Опубліковано: (2018-10-01)

TLS clients testing
за авторством: A. V. Nikeshin, та інші
Опубліковано: (2018-10-01)

Test Suite development for verification of TLS security protocol
за авторством: A. V. Nikeshin, та інші
Опубліковано: (2018-10-01)

Evolution of UniTESK Test Development Technology
за авторством: V. Kuliamin, та інші
Опубліковано: (2018-10-01)

Linux kernel configuration build for application systems
за авторством: S. V. Kozin
Опубліковано: (2019-02-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
за авторством: Дарья С. Гнедых
Опубліковано: (2020-05-01)

On representation of simulation time in functional programming style
за авторством: D. V. Buzdalov, та інші
Опубліковано: (2019-02-01)

Integration Points of Operating System Verification Techniques
за авторством: A. K. Petrenko, та інші
Опубліковано: (2018-10-01)

Covering functionality of database applications by generating special data
за авторством: Evgeny Kostychev, та інші
Опубліковано: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
за авторством: A. V. Nikeshin, та інші
Опубліковано: (2019-02-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
за авторством: L. W. Dworza´nski, та інші
Опубліковано: (2012-01-01)

Approach to test program development for multilevel verification
за авторством: Pavel Viktorovich Frolov
Опубліковано: (2019-09-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
за авторством: V. A. Bashkin, та інші
Опубліковано: (2013-01-01)

Parallelization of implementations of purely sequential algorithms
за авторством: A. B. Bugerya, та інші
Опубліковано: (2018-10-01)

Development of plug-ins for architectures support in TrEx using language for processors instructions specification
за авторством: Pavel M. Dovgalyuk, та інші
Опубліковано: (2018-10-01)

APPROACHES TO SELECTING REMOTE ENVIRONMENTS FOR AUTOMATED IT-PRODUCT TESTING
за авторством: Mary Sergeevna Krivozjateva, та інші
Опубліковано: (2020-06-01)

Validation of Methodology of Monitoring Drives Technical Condition of Control and Protection System of Reactor Installation Power Units Using Modeling
за авторством: E. A. Abidova, та інші
Опубліковано: (2022-09-01)