High-level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis

International Journal of Reconfigurable Computing (IJRC), special issue of extended best papers from IPDPS/RAW'10, Vol. 2011, Article No. 406857, Jan. 2011, 17 pages