Ellen Sentovich

According to our database, Ellen Sentovich authored at least 26 papers between 1988 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

SAT-based protein design.

Noah Ollikainen, Ellen Sentovich, Carlos Coelho, Andreas Kuehlmann, Tanja Kortemme

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2004

Business models in IP, software licensing, and services.

Ellen Sentovich, Raul Camposano, Jim Douglas, Aurangzeb Khan

Proceedings of the 41th Design Automation Conference, 2004

Competitive strategies for the electronics industry.

Ellen Sentovich, Jaswinder Ahuja, Paul Lippe, Bernie Rosenthal

Proceedings of the 41th Design Automation Conference, 2004

2003

Multi-Domain Clock Skew Scheduling.

Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

2001

Multiclock Esterel.

Gérard Berry, Ellen Sentovich

Proceedings of the Correct Hardware Design and Verification Methods, 2001

Embedded system design specification: merging reactive control and data computation.

Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks.

Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton

Formal Methods Syst. Des., 2000

An Implementation of Constructive Synchronous Programs in POLIS.

Gérard Berry, Ellen Sentovich

Formal Methods Syst. Des., 2000

Web-based frameworks to enable CAD RD (abstract).

Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich

Proceedings of the 37th Conference on Design Automation, 2000

1999

Synthesis of software programs for embedded control applications.

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Formal verification meets simulation (tutorial abstract).

Ellen Sentovich, David L. Dill, Serdar Tasiran

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

ECL: A Specification Environment for System-Level Design.

Luciano Lavagno, Ellen Sentovich

Proceedings of the 36th Conference on Design Automation, 1999

1998

Don't Care-Based BDD Minimization for Embedded Software.

Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich

Proceedings of the 35th Conference on Design Automation, 1998

1997

Quick Conservative Causality Analysis.

Ellen Sentovich

Proceedings of the 10th International Symposium on System Synthesis, 1997

Efficient Latch Optimization Using Exclusive Sets.

Ellen Sentovich, Horia Toma, Gérard Berry

Proceedings of the 34st Conference on Design Automation, 1997

1996

Enhancing FSM Traversal by Temporary Re-Encoding.

Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Latch optimization in circuits generated from high-level descriptions.

Ellen Sentovich, Horia Toma, Gérard Berry

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

A Brief Study of BDD Package Performance.

Ellen Sentovich

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Incremental re-encoding for symbolic traversal of product machines.

Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich

Proceedings of the conference on European design automation, 1996

1995

Network Hierarchies and Node Minimization.

Robert K. Brayton, Ellen M. Sentovich

IEICE Trans. Inf. Syst., 1995

Synthesis of Software Programs for Embedded Control Applications.

Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich

Proceedings of the 32st Conference on Design Automation, 1995

1994

An Exact Optimization of Two-Level Acyclic Sequential Circuits.

Ellen Sentovich, Robert K. Brayton

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1992

Sequential Circuit Design Using Synthesis and Optimization.

Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

1991

Retiming and resynthesis: optimizing sequential networks with combinational techniques.

Sharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991

Preserving Don't Care Conditions During Retiming.

Ellen Sentovich, Robert K. Brayton

Proceedings of the VLSI 91, 1991

1988

Don't cares and global flow analysis of Boolean networks.

Robert K. Brayton, Ellen M. Sentovich, Fabio Somenzi

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988