Результати пошуку автора :: UTM Library Massive Scholar Tracking

1

Some issues of automation of test program generation for branch units of microprocessors за авторством A. S. Kamkin

Опубліковано 2018-10-01

Отримати повний текст

Стаття
2

Checking Parameterized Promela Models of Cache Coherence Protocols за авторством V. S. Burenkov, A. S. Kamkin

Опубліковано 2018-10-01

Отримати повний текст

Стаття
3

Test Program Generation for Microprocessors Based on Pipeline Hazards Templates за авторством D. N. Vorobyev, A. S. Kamkin

Опубліковано 2018-10-01

Отримати повний текст

Стаття
4

Mechanisms for functional testing of hardware models at different levels of abstraction за авторством A. S. Kamkin, M. M. Chupilko

Опубліковано 2018-10-01

Отримати повний текст

Стаття
5

Specification-Based Test Program Generation for MIPS64 Memory Management Units за авторством A. S. Kamkin, A. M. Kotsynyak

Опубліковано 2018-10-01

Отримати повний текст

Стаття
6

Test Generation for Digital Hardware Based on High-Level Models за авторством M. M. Chupilko, A. S. Kamkin, M. S. Lebedev, S. A. Smolov

Опубліковано 2018-10-01

Отримати повний текст

Стаття
7

MicroTESK-Based Test Program Generator for the ARMv8 Architecture за авторством A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko

Опубліковано 2018-10-01

Отримати повний текст

Стаття