December, 20th: Runtime verification of HDL descriptions based on executable models

Alexander Kamkin

Alexander Kamkin – Ph.D., Senior Researcher at Institute for System Programming of RAS (ISPRAS), Moscow. Research interests are hardware specification and verification, static and dynamic analysis of HDL descriptions, microprocessors tests generation.