Validating High-Level Synthesis.

Sudipta Kundu, Sorin Lerner, Rajesh Gupta

Browse the full CAV paper archive.