Automated Bug Detection for High-level Synthesis of Multi-threaded Irregular Applications

Pietro Fezzardi, Fabrizio Ferrandi. Automated Bug Detection for High-level Synthesis of Multi-threaded Irregular Applications. TOPC, 7(4), 2020. [doi]

Abstract

Abstract is missing.