Search Results - "функциональная верификация"

Extracting Assertions for Conflicts in HDL Descriptions

Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

electronic resource

View item; View item; View item

An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms

A. . Kamkin, A. . Protsenko, A. . Tatarnikov

electronic resource

View item; View item; View item

A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multicore Microprocessors

Alexander Kamkin, Mikhail Petrochenkov

electronic resource

View item; View item; View item

A Survey of Methods and Tools for Test Program Generation for Microprocessors

A. D. Tatarnikov

electronic resource

View item; View item; View item

A Survey of Methods for Model Extraction from HDL Descriptions

S. A. Smolov

electronic resource

View item; View item; View item

Construction of validation modules based on reference functional models in a standalone verification of communication subsystem

D. A. Lebedev, I. A. Stotland

electronic resource

View item; View item; View item

Language for Describing Templates for Test Program Generation for Microprocessors

A. D. Tatarnikov

electronic resource

View item; View item; View item

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

M. S. Lebedev, S. A. Smolov

electronic resource

View item; View item; View item

MicroTESK-Based Test Program Generator for the ARMv8 Architecture

A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko

electronic resource

View item; View item; View item