Formal specifications-based automation of system testing of hardware designs ‌ M. M. Chupilko.

Ստացեք ամբողջական տեքստը

Mechanisms for functional testing of hardware models at different levels of abstraction ‌ A. S. Kamkin, M. M. Chupilko

Ստացեք ամբողջական տեքստը

Test Generation for Digital Hardware Based on High-Level Models ‌ M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

Ստացեք ամբողջական տեքստը

Tools for Functional Verification of Microprocessors ‌ A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov

Ստացեք ամբողջական տեքստը

MicroTESK-Based Test Program Generator for the ARMv8 Architecture ‌ A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko

Ստացեք ամբողջական տեքստը