O. Coudert, J.-C. Madre, and H. Touati. TiGeR Version 1.0 User Guide, Digital Paris Research Lab, December 1993.

E. Sentovich, H. Toma, and G. Berry. Latch Optimization in Circuits Generated from High-level Descriptions. In Proc of ICCAD, November 1996.

E. Sentovich, H. Toma, and G. Berry. Efficient Latch Optimization Using Incompatible Sets. In Proceedings of the tex2html_wrap_inline248 Design Automation Conference, June 1997.

E.M. Sentovich, K.J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P.R. Stephan, R.K. Brayton, and A.L. Sangiovanni-Vincentelli. SIS: A System for Sequential Circuit Synthesis. Technical Report Memorandum No. UCB/ERL M92/41, University of California Berkeley, 1992.

Monica Robert, Horia Toma
Mon May 7 14:19:23 MET DST 1997