Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams | IEEE Conference Publication | IEEE Xplore