Performance analysis and optimization of mixed asynchronous synchronous systems. - Jürgen Teich; Lothar Thiele; Sundararajan Sriram; Michael Martin 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)

Polynomial Formal Verification of Multipliers. - Martin Keim; Rolf Drechsler; Bernd Becker 001; Michael Martin 002; Paul Molitor (Formal Methods Syst. Des., 2003)