Ellen Sentovich

26 papers A* 8A 6B 1C 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2009 A conf
SAT-based protein design.
ICCAD
Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme
2006 A* ed.
Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006
DAC
Ellen Sentovich
2004 A* conf
Business models in IP, software licensing, and services.
DAC
Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan
2004 A* conf
Competitive strategies for the electronics industry.
DAC
Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal
2003 A conf
Multi-Domain Clock Skew Scheduling.
ICCAD
Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich
2001 — conf
Embedded system design specification: merging reactive control and data computation.
CDC
Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
2001 — conf
Multiclock Esterel.
CHARME
Gérard Berry, Ellen Sentovich
2000 J jnl
An Implementation of Constructive Synchronous Programs in POLIS.
Formal Methods Syst. Des.
Gérard Berry, Ellen Sentovich
2000 A ed.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000
ICCAD
Ellen Sentovich
2000 J jnl
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.
Formal Methods Syst. Des.
Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton
2000 A* conf
Web-based frameworks to enable CAD RD (abstract).
DAC
Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
1999 A* conf
ECL: A Specification Environment for System-Level Design.
DAC
Luciano Lavagno, Ellen Sentovich
1999 A conf
Formal verification meets simulation (tutorial abstract).
ICCAD
Ellen Sentovich, David L. Dill, Serdar Tasiran
1999 A ed.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999
ICCAD
Jacob K. White, Ellen Sentovich
1999 J jnl
Synthesis of software programs for embedded control applications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki
1998 A* conf
Don't Care-Based BDD Minimization for Embedded Software.
DAC
Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich
1997 A* conf
Efficient Latch Optimization Using Exclusive Sets.
DAC
Ellen Sentovich, Horia Toma, Gérard Berry
1997 — conf
Quick Conservative Causality Analysis.
ISSS
Ellen Sentovich
1996 B conf
A Brief Study of BDD Package Performance.
FMCAD
Ellen Sentovich
1996 C conf
Enhancing FSM Traversal by Temporary Re-Encoding.
ICCD
Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich
1996 — conf
Incremental re-encoding for symbolic traversal of product machines.
EURO-DAC
Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich
1996 A conf
Latch optimization in circuits generated from high-level descriptions.
ICCAD
Ellen Sentovich, Horia Toma, Gérard Berry
1995 A* conf
Synthesis of Software Programs for Embedded Control Applications.
DAC
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
1994 C conf
An Exact Optimization of Two-Level Acyclic Sequential Circuits.
ICCD
Ellen Sentovich, Robert K. Brayton
1992 C conf
Sequential Circuit Design Using Synthesis and Optimization.
ICCD
Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991 — conf
Preserving Don't Care Conditions During Retiming.
VLSI
Ellen Sentovich, Robert K. Brayton