I recently worked with the MEIJE project, which is shared between the École des Mines de Paris, Centre de Mathématiques Appliquées and INRIA.
Schedule:
- 31 Oct 1996 : return to California
- 6 - 8 Nov 1996 : FMCAD, Palo Alto
- 10 - 13 Nov 1996 : ICCAD, San Jose
- 22 - 29 Nov 1996 : teaching at the Asian School on Computer Science, Bangkok. See also 1996 Asian Computing Science Conference.
- 27 - 31 Jan 1997 : Decision Diagrams Seminar, Dagstuhl
- 18 - 21 May 1997 : International Workshop on Logic Synthesis
- 9 - 13 Jun 1997 : DAC, Anaheim
Current Research Directions
Primary Research Topics
- Logic optimization for synchronous reactive systems.
- Causality issues for synchronous reactive systems.
- Sequential circuit synthesis and verification.
- Hardware/software codesign.
Research Activity
- I currently work with the
Esterel team in Sophia-Antipolis.
- I recently worked with will soon return to
Cadence Berkeley Labs; while there I worked with the
POLIS HW/SW Codesign group.
- As a graduate student at UC Berkeley,
I worked primarily on sequential circuit
synthesis, optimization and verification, and my work was part of the SIS
logic synthesis system:
- 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 (compressed postscript), University of California at Berkeley, Memorandum No. UCB/ERL M92/41, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, CA 94720, May 1992.
SIS can be obtained from the UC Berkeley EECS FTP site, SIS directory, and all questions and comments regarding it can be addressed to sis@ic.eecs.berkeley.edu.
Selected Publications:
- E. Sentovich, H. Toma, and G. Berry,
Latch Optimization in Circuits Generated from High-Level Descriptions,
to appear in the
International Conference on Computer-Aided Design,
November, 1996.
The INRIA technical report can be found
here.
- E. Sentovich
A Brief Study of BDD Package Performance,
to appear in the
International Conference on Formal Methods in Computer-Aided
Design,
November, 1996.
- G. Cabodi, P. Camurati, L. Lavagno, E. Macii, M. Poncino, S. Quer,
and E. Sentovich,
Enhancing FSM Traversal by Temporary Re-Encoding,
to appear in the
International Conference on Computer Design ,
October 1996.
- S. Quer, G. Cabodi, P. Camurati, L. Lavagno, E.M. Sentovich and
R.K. Brayton,
Incremental Re-Encoding for Symbolic Traversal of Product Machines,
to appear in the
European Design Automation Conference (Euro-DAC),
September 1996.
- M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno,
A. Sangiovanni-Vincentelli, E. Sentovich and K. Suzuki,
Synthesis of Software Programs for Embedded Control Applications,
Proceedings of the 32nd Design Automation Conference,
June 1995.
- R.K. Brayton and E.M. Sentovich,
Network Hierarchies and Node Minimization,
IEICE Transactions on Information and Systems,
March 1995.
- Ellen M. Sentovich (thesis, compressed postscript),
Automatic Synthesis of Gate-Level Sequential Circuits,
UC Berkeley, Electronics Research Laboratory, College of Engineering,
University of California, Berkeley, CA 94720,
December 1993.
- Ellen M. Sentovich:
thesis abstract (html file)
- E.M. Sentovich, V. Singhal and R.K. Brayton,
Multiple Boolean Relations,
Proceedings of the International Workshop on Logic Synthesis,
Tahoe City, California,
May 1993.
- S. Malik, E.M. Sentovich, R.K. Brayton and A.L. Sangiovanni-Vincentelli, Retiming and Resynthesis: Optimizing Sequential Networks with Combinational Techniques, IEEE Transactions on Computer-Aided Design CAD-10:1, January 1991, pp. 74-84.
Other Activities
- I enjoy studying French at the Centre International d'Antibes.
- I have some stories about living in the French jungle:
- A California Yankee in Carrefour's Court
- Dental Floss
- Trente secondes samedi matin (in very bad French)
- Surfing in France
- Ice
- Mon premier tête-à-tête avec un conducteur français (in slightly improved French)
- Tueur Brownies (Recette américaine! Modifiée pour les ingrédients français, et ecrite en français, bien sûr.)
- Au glacier (Ice cream is ice cream, right?)
- Lipscreen
- Genève (the French is still bad, but the adventures continue)
- Un samedi en septembre (a day in the life..., well, not even that)
- En Turquie (bref)
- Je vends ma bagnole
- Narita (or why I love to travel)
- I love to ski and climb (trad, sport, outdoor, indoor, mountaineering,
etc) and hike and sail and snorkel and travel.
I will post some U.S. and French climbing trip reports later. - I love to study languages, dispute the subtleties of synonyms, argue with the dictionary, and read and read and read...
Created: 09 octobre 1995
Last updated: 4 novembre 1996