Analysis of circuit dynamic behavior with timed ternary decision diagram | IEEE Conference Publication | IEEE Xplore