@inproceedings{conf/ats/LiverisZB05,
	title = {An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications.},
	author = {Nikolaos D. Liveris and Hai Zhou and Prithviraj Banerjee},
	booktitle = {Asian Test Symposium},
	crossref = {conf/ats/2005},
	pages = {28-33},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/ats/ats2005.html#LiverisZB05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2f64ce094b18ea36a09c2aa7d46f8e63d/dblp},
	description = {dblp},
	ee = {http://doi.ieeecomputersociety.org/10.1109/ATS.2005.24}, isbn = {0-7695-2481-8}, date = {2006-03-14},
	keywords = {dblp }
}