The University of Warwick Library - WebBridge

JIT trace-based verification for high-level synthesis
Yang, Liwei.  International Conference on Field Programmable Technology (FPT).    2015. p. 228 - 231... .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.