@inproceedings{92316,
  author = {Adria Gasc{\'o}n and Pramod Subramanyan and Bruno Dutertre and Ashish Tiwari and Dejan Jovanovi{\'c} and Sharad Malik},
  title = {Template-based circuit understanding},
  year = {2014},
  journal = {Formal Methods in Computer-Aided Design (FMCAD), 2014},
  pages = {83{\textendash}90},
  publisher = {IEEE},
  language = {eng},
}