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
Серии:	Труды Института системного программирования РАН
Предметы:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Online-ссылка:	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)