Ellen M. Sentovich

发表

Network Hierarchies and Node Minimization : Special Issue On Synthesis And Verification Of Hardware Design

Robert K. Brayton, Ellen M. Sentovich, 1995 .

Hardware-Software Co-Design of Embedded Systems

Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .

Embedded system design specification: merging reactive control and data computation

Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 2001 .

Flexibility in Logic

Daniel Brand, Ellen M. Sentovich, 2002 .

Models and Representations

Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .

Interface Synthesis and the Real-Time Operating System

Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .

Flexibillity in logic

Daniel Brand, Ellen M. Sentovich, 2001 .

Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006

Ellen M. Sentovich, 2006, DAC.

Latch optimization in circuits generated from high-level descriptions

Ellen M. Sentovich, Horia Toma, Gérard Berry, 1996, ICCAD 1996.

ECL: a specification environment for system-level design

Luciano Lavagno, Ellen M. Sentovich, L. Lavagno, 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

A Delay Metric for RC Circuits Based on the Weibull Distribution

Luciano Lavagno, Malgorzata Marek-Sadowska, Rajeev Murgai, 2004 .

Sequential circuit synthesis at the gate level

Robert K. Brayton, Ellen M. Sentovich, R. Brayton, 1993 .

Interfacing to External Hardware and Software

Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .

Retiming and Resynthesis: Optimizing Sequential Networks with

Robert K. Brayton, Sharad Malik, Ellen M. Sentovich, 1990 .

Improved Model Checking Techniques for State Space Analysis of Gene Regulatory Networks

Kenneth L. McMillan, Ellen M. Sentovich, Arlindo L. Oliveira, 2010 .

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000

Ellen M. Sentovich, 2000, ICCAD.

Models of computation for embedded system design

Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1999 .

Hardware-software co-design of embedded systems: the POLIS approach

Luciano Lavagno, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, 1997 .

Retiming and Resynthesis: Optimizing Sequential Circuits Using Combinational Techniques

Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 1991 .

Formal verification meets simulation (embedded tutorial) (abstract only)

Serdar Tasiran, David L. Dill, Ellen M. Sentovich, 1999, ICCAD '99.

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999

Jacob K. White, Ellen M. Sentovich, 1999, ICCAD.

Proceedings of the 53rd Annual Design Automation Conference

Ellen M. Sentovich, 2016, DAC.

Models of computation for system design

Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen M. Sentovich, 2000 .

Proceedings of the 2000 international conference on Computer-aided design

Rolf Ernst, Ellen M. Sentovich, R. Ernst, 2001, International Conference on Computer Aided Design.

Business day session 100 - Competitive strategies for the electronics industry

Ellen M. Sentovich, B. Rosenthal, Jaswinder S. Ahuja, 2004, DAC 2004.

Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal

Robert K. Brayton, Luciano Lavagno, Gianpiero Cabodi, 1995 .

An Exact Optimization of Two-Level Acyclic

Robert K. Brayton, Ellen M. Sentovich, 1994 .

SIS : A System for Sequential Circuit Synthesis Electronics Research Laboratory Memorandum

Robert K. Brayton, Paul R. Stephan, Ellen M. Sentovich, 1992 .