Symbolic Circuit Analysis under an Arc Based Timing Model | IEEE Conference Publication | IEEE Xplore