Template-based Synthesis of Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan Yakir Vizel Sayak Ray Sharad Malik

Published in: FMCAD (2015)

Keyphrases

multimedia
high level
trade off
genetic algorithm
program synthesis
neural network
data structure
low cost
online learning
higher level
model checking
low power
levels of abstraction
knowledge level
formal verification