Synthesis of controllers for full testability of integrated datapath-controller pairs | IEEE Conference Publication | IEEE Xplore