Sandip Ray Kecheng Hao Yan Chen Fei Xie Jin Yang Formal Verification for High-Assurance Behavioral Synthesis. 337-351 2009 ATVA http://dx.doi.org/10.1007/978-3-642-04761-9_25 conf/atva/2009 db/conf/atva/atva2009.html#RayHCXY09