Srinivas Devadas, Kurt Keutzer, Abhijit Ghosh: Recent progress in synthesis for testability. VTS 1991: 22-29