Chandan Karfa Dipankar Sarkar Chittaranjan A. Mandal Chris Reade Hand-in-hand verification of high-level synthesis. 429-434 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228885 db/conf/glvlsi/glvlsi2007.html#KarfaSMR07