Automatic Verification of Scheduling Results in High-Level Synthesis.

Hans Eveking, Holger Hinrichsen, Gerd Ritter

Browse the full DATE paper archive.