True Path Tracing in Structurally Synthesized BDDs for Testability Analysis of Digital Circuits | IEEE Conference Publication | IEEE Xplore