@inproceedings{92366,
  author = {Pramod Subramanyan and Yakir Vizel and Sayak Ray and Sharad Malik},
  title = {Template-based synthesis of instruction-level abstractions for SoC verification},
  year = {2015},
  journal = {Formal Methods in Computer-Aided Design (FMCAD), 2015},
  pages = {160{\textendash}167},
  publisher = {IEEE},
  language = {eng},
}