Showing 1 - 5 results of 5 for search 'M. Chupilko', query time: 0.03s Refine Results
  1. 1
    Formal specifications-based automation of system testing of hardware designs

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

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Mechanisms for functional testing of hardware models at different levels of abstraction

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

    Published 2018-10-01
    Get full text
    Article
  3. 3
    Test Generation for Digital Hardware Based on High-Level Models

    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
    Get full text
    Article
  4. 4
    Tools for Functional Verification of Microprocessors

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

    Published 2018-10-01
    Get full text
    Article
  5. 5
    MicroTESK-Based Test Program Generator for the ARMv8 Architecture

    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
    Get full text
    Article

Search Tools: