@article{111516,
  author = {Pramod Subramanyan and Bo-Yuan Huang and Yakir Vizel and Aarti Gupta and Sharad Malik},
  title = {template-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification},
  year = {2017},
  journal = {TCAD},
  language = {eng},
}