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)