Timing-critical path analysis with structurally synthesized BDDs | IEEE Conference Publication | IEEE Xplore