Combined Synthesis of Easily Testable Datapath and Control Designs | IEEE Conference Publication | IEEE Xplore