Finding Bugs in RTL Descriptions: High-Level Synthesis to the Rescue.

Baharealsadat Parchamdar, Benjamin Carrin Schfer

Browse the full DAC paper archive.