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...

Full description

Bibliographic Details
Main Authors:	A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:	Труды Института системного программирования РАН
Subjects:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/771

Similar Items

A Survey of Methods and Tools for Test Program Generation for Microprocessors
by: A. D. Tatarnikov
Published: (2018-10-01)

Language for Describing Templates for Test Program Generation for Microprocessors
by: A. D. Tatarnikov
Published: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
by: M. S. Lebedev, et al.
Published: (2018-10-01)

MicroTESK-Based Test Program Generator for the ARMv8 Architecture
by: A. S. Kamkin, et al.
Published: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Test Generation for Digital Hardware Based on High-Level Models
by: M. M. Chupilko, et al.
Published: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
by: I. . Melnichenko, et al.
Published: (2018-10-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
by: A. . Kamkin, et al.
Published: (2018-10-01)

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
Published: (2018-10-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
by: Alexander Kamkin, et al.
Published: (2018-10-01)

Extracting Assertions for Conflicts in HDL Descriptions
by: Alexander Sergeevitch Kamkin, et al.
Published: (2019-09-01)

The final models of specification
by: Igor Bourdonov, et al.
Published: (2018-10-01)

Mirror-based method of constraints generation for test programs generation by test template
by: Evgeni V. Kornykhin
Published: (2018-10-01)

Error dependencies on classes of implementations under testing
by: Alexander Kossatchev
Published: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
by: I. A. Yakimov, et al.
Published: (2018-10-01)

Component-based verification of operating systems
by: V. V. Kuliamin, et al.
Published: (2019-02-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
by: A. S. Kamkin, et al.
Published: (2018-10-01)

Test environment for verification of multi-processor memory subsystem unit
by: Dmitry Alexeevitch Lebedev, et al.
Published: (2019-09-01)

A Survey of Methods for Model Extraction from HDL Descriptions
by: S. A. Smolov
Published: (2018-10-01)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
by: A. V. Samonov, et al.
Published: (2018-12-01)

Visual Dataflow Language for Educational Robots Programming
by: G. A. Zimin, et al.
Published: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
by: Mary Sergeevna Krivozjateva, et al.
Published: (2020-03-01)

Model-based testing of Internet Mail Protocols
by: N. V. Pakulin, et al.
Published: (2018-10-01)

TLS clients testing
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Test Suite development for verification of TLS security protocol
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Evolution of UniTESK Test Development Technology
by: V. Kuliamin, et al.
Published: (2018-10-01)

Linux kernel configuration build for application systems
by: S. V. Kozin
Published: (2019-02-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
by: Дарья С. Гнедых
Published: (2020-05-01)

On representation of simulation time in functional programming style
by: D. V. Buzdalov, et al.
Published: (2019-02-01)

Integration Points of Operating System Verification Techniques
by: A. K. Petrenko, et al.
Published: (2018-10-01)

Covering functionality of database applications by generating special data
by: Evgeny Kostychev, et al.
Published: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
by: A. V. Nikeshin, et al.
Published: (2019-02-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2012-01-01)

Approach to test program development for multilevel verification
by: Pavel Viktorovich Frolov
Published: (2019-09-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
by: V. A. Bashkin, et al.
Published: (2013-01-01)

Parallelization of implementations of purely sequential algorithms
by: A. B. Bugerya, et al.
Published: (2018-10-01)

Development of plug-ins for architectures support in TrEx using language for processors instructions specification
by: Pavel M. Dovgalyuk, et al.
Published: (2018-10-01)

APPROACHES TO SELECTING REMOTE ENVIRONMENTS FOR AUTOMATED IT-PRODUCT TESTING
by: Mary Sergeevna Krivozjateva, et al.
Published: (2020-06-01)

Validation of Methodology of Monitoring Drives Technical Condition of Control and Protection System of Reactor Installation Power Units Using Modeling
by: E. A. Abidova, et al.
Published: (2022-09-01)