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)