Automatic Verification of Scheduling Results in High-Level Synthesis.

Hans Eveking Holger Hinrichsen Gerd Ritter Automatic Verification of Scheduling Results in High-Level Synthesis. 59-64 1999 conf/date/1999 DATE http://csdl.computer.org/comp/proceedings/date/1999/0078/00/00780059abs.htm db/conf/date/date1999.html#EvekingHR99