EECS 298-11: CAD Seminar Wednesday, January 15, 1997, 5pm Cory Hall--Hogan Room Retiming Reviewed Leon Stok IBM Retiming is a very appealing technique to extend the logic transformations in an automatic synthesis system into the sequential domain. It has a nice mathematical framework that allows a set of problems to be solved optimally in reasonable efficient manner. However, many practical problems have prevented a widespread use of retiming techniques in automatic synthesis systems up till now. Networks do not seem to fit as nicely into the abstract retiming framework as one would like. But, several recent advances have tackled a couple of these problems. In this presentation, I will outline some of these problems and their solutions. In addition I will sketch several remaining problems and hope to stimulate an interactive discussion on some of these.