Synthesis of fully testable circuits from BDDs | IEEE Journals & Magazine | IEEE Xplore