Timing analysis in high-level synthesisAndreas KuehlmannReinaldo A. Bergamaschi1992ICCAD 1992Conference paper