Accelerating source-level timing simulation | IEEE Conference Publication | IEEE Xplore