iitRACE: A memory efficient engine for fast incremental timing analysis and clock pessimism removal | IEEE Conference Publication | IEEE Xplore