@inproceedings{Zhu07,
 author = {Qiang Zhu and Aviral Shrivastava and Nikil Dutt},
 title = {Interactive presentation: Functional and timing validation of partially bypassed processor pipelines},
 booktitle = {DATE '07: Proceedings of the conference on Design, automation and test in Europe},
 year = {2007},
 isbn = {978-3-9810801-2-4},
 pages = {1164--1169},
 location = {Nice, France},
 publisher = {EDA Consortium},
 address = {San Jose, CA, USA},
 }