Trace-based automated logical debugging for high-level synthesis generated circuits.

Pietro Fezzardi, Michele Castellana, Fabrizio Ferrandi

Browse the full ICCD paper archive.