Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification. - Lisa M. Guerra; Joachim Fitzner; Dipankar Talukdar; Chris Schläger; Bassam Tabbara; Vojin Zivojnovic (DAC, 1999)