23 citations · 76 across the 10 of their papers we have counts for
3 papers · 1 filter
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…
FastWave: Accelerating Autoregressive Convolutional Neural Networks on FPGA
Shehzeen Hussain, Mojan Javaheripi, Paarth Neekhara +2
Autoregressive convolutional neural networks (CNNs) have been widely exploited for sequence generation tasks such as audio synthesis, language modeling and neural machine translati…
Patient Specific Biomechanics Are Clinically Significant In Accurate Computer Aided Surgical Image Guidance
Michael Barrow, Alice Chao, Qizhi He +3
Augmented Reality is used in Image Guided surgery (AR IG) to fuse surgical landmarks from preoperative images into a video overlay. Physical simulation is essential to maintaining…