Table of Contents Author Guidelines Submit a Manuscript
International Journal of Reconfigurable Computing
Volume 2011, Article ID 406857, 17 pages
http://dx.doi.org/10.1155/2011/406857
Research Article

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

NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA

Received 13 August 2010; Accepted 14 December 2010

Academic Editor: J. M. P. Cardoso

Copyright © 2011 John Curreri et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

John Curreri, Greg Stitt, and Alan D. George, “High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis,” International Journal of Reconfigurable Computing, vol. 2011, Article ID 406857, 17 pages, 2011. https://doi.org/10.1155/2011/406857.