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

Detaylı Bibliyografya
Asıl Yazarlar:	A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Materyal Türü:	Makale
Dil:	English
Baskı/Yayın Bilgisi:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Seri Bilgileri:	Труды Института системного программирования РАН
Konular:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Online Erişim:	https://ispranproceedings.elpub.ru/jour/article/view/771

Benzer Materyaller

A Survey of Methods and Tools for Test Program Generation for Microprocessors
Yazar:: A. D. Tatarnikov
Baskı/Yayın Bilgisi: (2018-10-01)

Language for Describing Templates for Test Program Generation for Microprocessors
Yazar:: A. D. Tatarnikov
Baskı/Yayın Bilgisi: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
Yazar:: M. S. Lebedev, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

MicroTESK-Based Test Program Generator for the ARMv8 Architecture
Yazar:: A. S. Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
Yazar:: V. P. Ivannikov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Test Generation for Digital Hardware Based on High-Level Models
Yazar:: M. M. Chupilko, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
Yazar:: I. . Melnichenko, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
Yazar:: A. . Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Combinatorial generation of operation system software configurations
Yazar:: V. V. Kuliamin
Baskı/Yayın Bilgisi: (2018-10-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
Yazar:: Alexander Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Extracting Assertions for Conflicts in HDL Descriptions
Yazar:: Alexander Sergeevitch Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

The final models of specification
Yazar:: Igor Bourdonov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Mirror-based method of constraints generation for test programs generation by test template
Yazar:: Evgeni V. Kornykhin
Baskı/Yayın Bilgisi: (2018-10-01)

Error dependencies on classes of implementations under testing
Yazar:: Alexander Kossatchev
Baskı/Yayın Bilgisi: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
Yazar:: I. A. Yakimov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Component-based verification of operating systems
Yazar:: V. V. Kuliamin, ve diğerleri
Baskı/Yayın Bilgisi: (2019-02-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
Yazar:: A. S. Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Test environment for verification of multi-processor memory subsystem unit
Yazar:: Dmitry Alexeevitch Lebedev, ve diğerleri
Baskı/Yayın Bilgisi: (2019-09-01)

A Survey of Methods for Model Extraction from HDL Descriptions
Yazar:: S. A. Smolov
Baskı/Yayın Bilgisi: (2018-10-01)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
Yazar:: A. V. Samonov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

Visual Dataflow Language for Educational Robots Programming
Yazar:: G. A. Zimin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
Yazar:: Igor Burdonov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
Yazar:: Mary Sergeevna Krivozjateva, ve diğerleri
Baskı/Yayın Bilgisi: (2020-03-01)

Model-based testing of Internet Mail Protocols
Yazar:: N. V. Pakulin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

TLS clients testing
Yazar:: A. V. Nikeshin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Test Suite development for verification of TLS security protocol
Yazar:: A. V. Nikeshin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Evolution of UniTESK Test Development Technology
Yazar:: V. Kuliamin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Linux kernel configuration build for application systems
Yazar:: S. V. Kozin
Baskı/Yayın Bilgisi: (2019-02-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
Yazar:: Дарья С. Гнедых
Baskı/Yayın Bilgisi: (2020-05-01)

On representation of simulation time in functional programming style
Yazar:: D. V. Buzdalov, ve diğerleri
Baskı/Yayın Bilgisi: (2019-02-01)

Integration Points of Operating System Verification Techniques
Yazar:: A. K. Petrenko, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Covering functionality of database applications by generating special data
Yazar:: Evgeny Kostychev, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
Yazar:: A. V. Nikeshin, ve diğerleri
Baskı/Yayın Bilgisi: (2019-02-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Yazar:: L. W. Dworza´nski, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

Approach to test program development for multilevel verification
Yazar:: Pavel Viktorovich Frolov
Baskı/Yayın Bilgisi: (2019-09-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
Yazar:: V. A. Bashkin, ve diğerleri
Baskı/Yayın Bilgisi: (2013-01-01)

Parallelization of implementations of purely sequential algorithms
Yazar:: A. B. Bugerya, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Development of plug-ins for architectures support in TrEx using language for processors instructions specification
Yazar:: Pavel M. Dovgalyuk, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

APPROACHES TO SELECTING REMOTE ENVIRONMENTS FOR AUTOMATED IT-PRODUCT TESTING
Yazar:: Mary Sergeevna Krivozjateva, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Validation of Methodology of Monitoring Drives Technical Condition of Control and Protection System of Reactor Installation Power Units Using Modeling
Yazar:: E. A. Abidova, ve diğerleri
Baskı/Yayın Bilgisi: (2022-09-01)