Taking advantage of high level functional information to refine timing analysis and timing information | IEEE Conference Publication | IEEE Xplore