VeriIntel2C: Abstracting RTL to C to maximize High-Level Synthesis Design Space Exploration

Anushree Mahapatra, Benjamin Carrión Schäfer. VeriIntel2C: Abstracting RTL to C to maximize High-Level Synthesis Design Space Exploration. Integration, 64:1-12, 2019. [doi]

Abstract

Abstract is missing.