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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Formáid:	Alt
Teanga:	English
Foilsithe / Cruthaithe:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Sraith:	Труды Института системного программирования РАН
Ábhair:	микропроцессоры цифровая аппаратура верификация валидация тестирование генерация тестов моделирование языки описания архитектуры распараллеливание
Rochtain ar líne:	https://ispranproceedings.elpub.ru/jour/article/view/771

Míreanna comhchosúla

A Survey of Methods and Tools for Test Program Generation for Microprocessors
de réir: A. D. Tatarnikov
Foilsithe / Cruthaithe: (2018-10-01)

Language for Describing Templates for Test Program Generation for Microprocessors
de réir: A. D. Tatarnikov
Foilsithe / Cruthaithe: (2018-10-01)

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
de réir: M. S. Lebedev, et al.
Foilsithe / Cruthaithe: (2018-10-01)

MicroTESK-Based Test Program Generator for the ARMv8 Architecture
de réir: A. S. Kamkin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
de réir: V. P. Ivannikov, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Test Generation for Digital Hardware Based on High-Level Models
de réir: M. M. Chupilko, et al.
Foilsithe / Cruthaithe: (2018-10-01)

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs
de réir: I. . Melnichenko, et al.
Foilsithe / Cruthaithe: (2018-10-01)

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
de réir: A. . Kamkin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Combinatorial generation of operation system software configurations
de réir: V. V. Kuliamin
Foilsithe / Cruthaithe: (2018-10-01)

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors
de réir: Alexander Kamkin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Extracting Assertions for Conflicts in HDL Descriptions
de réir: Alexander Sergeevitch Kamkin, et al.
Foilsithe / Cruthaithe: (2019-09-01)

The final models of specification
de réir: Igor Bourdonov, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Mirror-based method of constraints generation for test programs generation by test template
de réir: Evgeni V. Kornykhin
Foilsithe / Cruthaithe: (2018-10-01)

Error dependencies on classes of implementations under testing
de réir: Alexander Kossatchev
Foilsithe / Cruthaithe: (2018-10-01)

Test Readability Optimization in Context of Symbolic Execution
de réir: I. A. Yakimov, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Component-based verification of operating systems
de réir: V. V. Kuliamin, et al.
Foilsithe / Cruthaithe: (2019-02-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
de réir: A. S. Kamkin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Test environment for verification of multi-processor memory subsystem unit
de réir: Dmitry Alexeevitch Lebedev, et al.
Foilsithe / Cruthaithe: (2019-09-01)

A Survey of Methods for Model Extraction from HDL Descriptions
de réir: S. A. Smolov
Foilsithe / Cruthaithe: (2018-10-01)

Methodology and Tools for Development and Verification of formal fUML Models of Requirements and Architecture for Complex Software and Hardware Systems
de réir: A. V. Samonov, et al.
Foilsithe / Cruthaithe: (2018-12-01)

Visual Dataflow Language for Educational Robots Programming
de réir: G. A. Zimin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
de réir: Igor Burdonov, et al.
Foilsithe / Cruthaithe: (2018-10-01)

PROBLEMS IN SELECTING TEST CASES FOR AUTOMATIC TESTING OF IT-PRODUCTS
de réir: Mary Sergeevna Krivozjateva, et al.
Foilsithe / Cruthaithe: (2020-03-01)

Model-based testing of Internet Mail Protocols
de réir: N. V. Pakulin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

TLS clients testing
de réir: A. V. Nikeshin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Test Suite development for verification of TLS security protocol
de réir: A. V. Nikeshin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Evolution of UniTESK Test Development Technology
de réir: V. Kuliamin, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Linux kernel configuration build for application systems
de réir: S. V. Kozin
Foilsithe / Cruthaithe: (2019-02-01)

Assessing the Equivalence of Computerized and Conventional Versions of Psychological Tests
de réir: Дарья С. Гнедых
Foilsithe / Cruthaithe: (2020-05-01)

On representation of simulation time in functional programming style
de réir: D. V. Buzdalov, et al.
Foilsithe / Cruthaithe: (2019-02-01)

Integration Points of Operating System Verification Techniques
de réir: A. K. Petrenko, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Covering functionality of database applications by generating special data
de réir: Evgeny Kostychev, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
de réir: A. V. Nikeshin, et al.
Foilsithe / Cruthaithe: (2019-02-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
de réir: L. W. Dworza´nski, et al.
Foilsithe / Cruthaithe: (2012-01-01)

Approach to test program development for multilevel verification
de réir: Pavel Viktorovich Frolov
Foilsithe / Cruthaithe: (2019-09-01)

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
de réir: V. A. Bashkin, et al.
Foilsithe / Cruthaithe: (2013-01-01)

Parallelization of implementations of purely sequential algorithms
de réir: A. B. Bugerya, et al.
Foilsithe / Cruthaithe: (2018-10-01)

Development of plug-ins for architectures support in TrEx using language for processors instructions specification
de réir: Pavel M. Dovgalyuk, et al.
Foilsithe / Cruthaithe: (2018-10-01)

APPROACHES TO SELECTING REMOTE ENVIRONMENTS FOR AUTOMATED IT-PRODUCT TESTING
de réir: Mary Sergeevna Krivozjateva, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Validation of Methodology of Monitoring Drives Technical Condition of Control and Protection System of Reactor Installation Power Units Using Modeling
de réir: E. A. Abidova, et al.
Foilsithe / Cruthaithe: (2022-09-01)