Testability of circuits derived from functional decision diagrams | IEEE Conference Publication | IEEE Xplore