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)