Skip to main content

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

View/Download
RAW10_F2.pdf
Year
2010
Authors
J. Curreri, G. Stitt, and A. George
Additional Citation Information
Proc. of 17th Reconfigurable Architectures Workshop (RAW) at IPDPS'10, Atlanta, GA, Apr. 19-20, 2010