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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Định dạng:	Bài viết
Ngôn ngữ:	English
Được phát hành:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Loạt:	Труды Института системного программирования РАН
Những chủ đề:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Truy cập trực tuyến:	https://ispranproceedings.elpub.ru/jour/article/view/771

Những quyển sách tương tự

A Survey of Methods and Tools for Test Program Generation for Microprocessors
Bằng: A. D. Tatarnikov
Được phát hành: (2018-10-01)

Language for Describing Templates for Test Program Generation for Microprocessors
Bằng: A. D. Tatarnikov
Được phát hành: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
Bằng: M. S. Lebedev, et al.
Được phát hành: (2018-10-01)

MicroTESK-Based Test Program Generator for the ARMv8 Architecture
Bằng: A. S. Kamkin, et al.
Được phát hành: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
Bằng: V. P. Ivannikov, et al.
Được phát hành: (2018-10-01)

Test Generation for Digital Hardware Based on High-Level Models
Bằng: M. M. Chupilko, et al.
Được phát hành: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
Bằng: I. . Melnichenko, et al.
Được phát hành: (2018-10-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
Bằng: A. . Kamkin, et al.
Được phát hành: (2018-10-01)

Combinatorial generation of operation system software configurations
Bằng: V. V. Kuliamin
Được phát hành: (2018-10-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
Bằng: Alexander Kamkin, et al.
Được phát hành: (2018-10-01)

Extracting Assertions for Conflicts in HDL Descriptions
Bằng: Alexander Sergeevitch Kamkin, et al.
Được phát hành: (2019-09-01)

The final models of specification
Bằng: Igor Bourdonov, et al.
Được phát hành: (2018-10-01)

Mirror-based method of constraints generation for test programs generation by test template
Bằng: Evgeni V. Kornykhin
Được phát hành: (2018-10-01)

Error dependencies on classes of implementations under testing
Bằng: Alexander Kossatchev
Được phát hành: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
Bằng: I. A. Yakimov, et al.
Được phát hành: (2018-10-01)

Component-based verification of operating systems
Bằng: V. V. Kuliamin, et al.
Được phát hành: (2019-02-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
Bằng: A. S. Kamkin, et al.
Được phát hành: (2018-10-01)

Test environment for verification of multi-processor memory subsystem unit
Bằng: Dmitry Alexeevitch Lebedev, et al.
Được phát hành: (2019-09-01)

A Survey of Methods for Model Extraction from HDL Descriptions
Bằng: S. A. Smolov
Được phát hành: (2018-10-01)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
Bằng: A. V. Samonov, et al.
Được phát hành: (2018-12-01)

Visual Dataflow Language for Educational Robots Programming
Bằng: G. A. Zimin, et al.
Được phát hành: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
Bằng: Igor Burdonov, et al.
Được phát hành: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
Bằng: Mary Sergeevna Krivozjateva, et al.
Được phát hành: (2020-03-01)

Model-based testing of Internet Mail Protocols
Bằng: N. V. Pakulin, et al.
Được phát hành: (2018-10-01)

TLS clients testing
Bằng: A. V. Nikeshin, et al.
Được phát hành: (2018-10-01)

Test Suite development for verification of TLS security protocol
Bằng: A. V. Nikeshin, et al.
Được phát hành: (2018-10-01)

Evolution of UniTESK Test Development Technology
Bằng: V. Kuliamin, et al.
Được phát hành: (2018-10-01)

Linux kernel configuration build for application systems
Bằng: S. V. Kozin
Được phát hành: (2019-02-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
Bằng: Дарья С. Гнедых
Được phát hành: (2020-05-01)

On representation of simulation time in functional programming style
Bằng: D. V. Buzdalov, et al.
Được phát hành: (2019-02-01)

Integration Points of Operating System Verification Techniques
Bằng: A. K. Petrenko, et al.
Được phát hành: (2018-10-01)

Covering functionality of database applications by generating special data
Bằng: Evgeny Kostychev, et al.
Được phát hành: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
Bằng: A. V. Nikeshin, et al.
Được phát hành: (2019-02-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Bằng: L. W. Dworza´nski, et al.
Được phát hành: (2012-01-01)

Approach to test program development for multilevel verification
Bằng: Pavel Viktorovich Frolov
Được phát hành: (2019-09-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
Bằng: V. A. Bashkin, et al.
Được phát hành: (2013-01-01)

Parallelization of implementations of purely sequential algorithms
Bằng: A. B. Bugerya, et al.
Được phát hành: (2018-10-01)

Development of plug-ins for architectures support in TrEx using language for processors instructions specification
Bằng: Pavel M. Dovgalyuk, et al.
Được phát hành: (2018-10-01)

APPROACHES TO SELECTING REMOTE ENVIRONMENTS FOR AUTOMATED IT-PRODUCT TESTING
Bằng: Mary Sergeevna Krivozjateva, et al.
Được phát hành: (2020-06-01)

Validation of Methodology of Monitoring Drives Technical Condition of Control and Protection System of Reactor Installation Power Units Using Modeling
Bằng: E. A. Abidova, et al.
Được phát hành: (2022-09-01)