english deutsch
Krzysztof Kuchcinski
http://www.ida.liu.se/~krzku/
Researcher at Linköping University, Sweden.
Nikil Dutt
http://www.ics.uci.edu/~dutt/
Distinguished researcher.
Stanford
http://www-crc.stanford.edu/projects/topsSummary.html
Research group, includes test circuitry in the optimization.
University of Cincinnati
http://www.ececs.uc.edu/~ddel/projects/dss/dss.html
Group description and a collection of research papers.