@inproceedings{92251,
  author = {Wenchao Li and Adria Gascon and Pramod Subramanyan and Wei Yang Tan and Ashish Tiwari and Sharad Malik and Natarajan Shankar and Sanjit Seshia},
  title = {Wordrev: Finding word-level structures in a sea of bit-level gates},
  year = {2013},
  journal = {Hardware-Oriented Security and Trust (HOST), 2013 IEEE International Symposium on},
  pages = {67{\textendash}74},
  publisher = {IEEE},
  language = {eng},
}