23 citations · 43 across the 6 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2020★ 2 cited
A Unified Model for Gate Level Propagation Analysis
Jeremy Blackstone, Wei Hu, Alric Althoff +3
Classic hardware verification techniques (e.g., X-propagation and fault-propagation) and more recent hardware security verification techniques based on information flow tracking (I…
cs.AR2018
Parallel Programming for FPGAs
Ryan Kastner, Janarbek Matai, Stephen Neuendorffer
This book focuses on the use of algorithmic high-level synthesis (HLS) to build application-specific FPGA systems. Our goal is to give the reader an appreciation of the process of…