Formal specifications-based automation of system testing of hardware designs

by M. M. Chupilko.
Published 2018-10-01

Mechanisms for functional testing of hardware models at different levels of abstraction

by A. S. Kamkin, M. M. Chupilko
Published 2018-10-01

Simulation-based Verification of System-on-Chip Bus Controllers

by M. M. Chupilko, E. A. Drozdova
Published 2018-10-01

Test Generation for Digital Hardware Based on High-Level Models

by M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov
Published 2018-10-01

MicroTESK-Based Test Program Generator for the ARMv8 Architecture

by A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko
Published 2018-10-01