Automatic synthesis of time-stationary controllers for pipelined data paths | IEEE Conference Publication | IEEE Xplore