High-Level Synthesis Techniques for In-Circuit Assertion-Based Verification

Proc. of 17th Reconfigurable Architectures Workshop (RAW) at IPDPS'10, Atlanta, GA, Apr. 19-20, 2010