DynaTune: Circuit-level optimization for timing speculation considering dynamic path behavior | IEEE Conference Publication | IEEE Xplore