Timing Analysis of Sequential Circuits Using Symbolic Event Propagation | IEEE Conference Publication | IEEE Xplore