Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis. - Alain Darte; C. Quinson (ASAP, 2007)