Propagation of last-transition-time constraints in gate-level timing analysis | IEEE Conference Publication | IEEE Xplore