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

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

Podobne knjige/članki

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Checking Parameterized Promela Models of Cache Coherence Protocols
od: V. S. Burenkov, et al.
Izdano: (2018-10-01)

The validation of method HPLC-determination of zolpidem in biological liquids
od: Y A Khomov, et al.
Izdano: (2010-09-01)

Python-based constraint language for architecture models
od: E. . Kornykhin, et al.
Izdano: (2018-10-01)

INFLUENCE OF THE SMALL DISTRIBUTED GENERATION ON THE LEVEL OF RESIDUAL VOLTAGE AT SHORT CIRCUITS
od: A. I. Fedotov, et al.
Izdano: (2017-12-01)

Ориентализмы тематической группы «Одежда» в южнославянской фразеологии
od: Irina Kuznetsova
Izdano: (2024-12-01)