found: nuc91-602: Author's Techniques for optimization-based synthesis ... 1988(hdg. on CU rept.: Devadas, Srinivas; usage: Srinivas Devadas)
found: Ghosh, A. Sequential logic testing and verification, c1992:CIP t.p. (Srinivas Devadas) data sheet (b. 11/23/63)
found: Programming for the puzzled, 2017:ECIP t.p. (Srini Devadas) data view (Edwin Sibley Webster Professor of Electrical Engineering and Computer Science at MIT)
found: MIT web site, viewed March 1, 2017(MIT since 1988, professor Srini Devadas; Srinivas Devadas; his interests span Computer-Aided Design (CAD), computer security and computer architecture; shows selected works including five articles on compiler optimization)
