Sökresultat - "язык описания аппаратуры"

Extracting Assertions for Conflicts in HDL Descriptions

Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

electronic resource

Visa; Visa; Visa

Test Generation for Digital Hardware Based on High-Level Models

M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

electronic resource

Visa; Visa; Visa

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

I. . Melnichenko, A. . Kamkin, S. . Smolov

electronic resource

Visa; Visa; Visa