Title
A Unified Design Flow to Automatically Generate On-Chip Monitors During High-Level Synthesis of Hardware Accelerators.
Abstract
Security and safety are more and more important in embedded system design. A key issue, hence lies in the ability of systems to respond safely when errors occur at runtime, to prevent unacceptable behaviors that can lead to failures or sensitive data leakage. In this paper, we propose a design approach that automatically generates on-chip monitors (OCMs) during high-level synthesis (HLS) of hardware accelerators (HWaccs). OCM checks at runtime the input/output timing behavior, the control flow execution and algorithmic properties (via American National Standards Institute C assertions) of the monitored HWacc. OCM is implemented separately from the HWacc and an original technique is introduced for their synchronization. Two synthesis options are proposed to tradeoff between performance and area. Experiment results show that error detection on the control flow is $16\\times $ better compared to the existing approaches while the cost of assertions is reduced by 17.48% on average. The impact on execution time (i.e., latency of the HWacc) is decreased by $2.76\\times $ at no area penalty and up to $4.5\\times $ with less than 10% extra-area. The clock period overhead is at worst less than 5% and the overhead on the synthesis time of the HWacc to generate OCMs is 7.44% on average.
Year
DOI
Venue
2017
10.1109/TCAD.2016.2587278
IEEE Trans. on CAD of Integrated Circuits and Systems
Keywords
Field
DocType
Monitoring,Hardware,Runtime,System-on-chip,Algorithm design and analysis,Synchronization
Computer science,Latency (engineering),Design flow,Real-time computing,Electronic engineering,Computer hardware,Synchronization,Algorithm design,System on a chip,High-level synthesis,Control flow,Error detection and correction,Embedded system
Journal
Volume
Issue
ISSN
36
3
0278-0070
Citations 
PageRank 
References 
3
0.45
12
Authors
3
Name
Order
Citations
PageRank
Mohamed Ben Hammouda1192.03
Philippe Coussy225333.63
Loïc Lagadec36212.84