Search Results - "Kamkin, A.S."

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

“…In this paper, a tool for automatically generating test programs for MIPS64 memory management units is described. The solution is based on the MicroTESK…”
Get full text

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

“…This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent…”
Get full text

Extracting Assertions for Conflicts in HDL Descriptions by Kamkin, A.S., Lebedev, M.S., Smolov, S.A.

“…Data access conflicts may arise in hardware designs. One of the ways of detecting such conflicts is static analysis of hardware descriptions in HDL. We propose…”
Get full text

Foreword by Kamkin, A.S., Petrenko, A.K., Terekhov, A.N.

Get full text

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

“…Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits. To measure test quality, two main metrics are in use: fault…”
Get full text

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

“…ARM is a family of microprocessor instruction set architectures developed in a company with the same name. The newest architecture of this family, ARMv8,…”
Get full text