Showing 1 - 7 results of 7 for search 'A. S. Kamkin', query time: 0.03s Refine Results
  1. 1
    Some issues of automation of test program generation for branch units of microprocessors

    Some issues of automation of test program generation for branch units of microprocessors by A. S. Kamkin

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Checking Parameterized Promela Models of Cache Coherence Protocols

    Checking Parameterized Promela Models of Cache Coherence Protocols by V. S. Burenkov, A. S. Kamkin

    Published 2018-10-01
    Get full text
    Article
  3. 3
    Test Program Generation for Microprocessors Based on Pipeline Hazards Templates

    Test Program Generation for Microprocessors Based on Pipeline Hazards Templates by D. N. Vorobyev, A. S. Kamkin

    Published 2018-10-01
    Get full text
    Article
  4. 4
    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
  5. 5
    Specification-Based Test Program Generation for MIPS64 Memory Management Units

    Specification-Based Test Program Generation for MIPS64 Memory Management Units by A. S. Kamkin, A. M. Kotsynyak

    Published 2018-10-01
    Get full text
    Article
  6. 6
    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
  7. 7
    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: