Synthesis for testability of large complexity controllers