An efficient physical design of fully-testable BDD-based circuits | IEEE Conference Publication | IEEE Xplore