Testability preserving transformations in multi-level logic synthesis | IEEE Conference Publication | IEEE Xplore