#### Filter Results:

- Full text PDF available (470)

#### Publication Year

1973

2017

- This year (14)
- Last 5 years (100)
- Last 10 years (213)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ellen Sentovich, Kanwar Jit Singh, +6 authors Alberto L. Sangiovanni-Vincentelli
- 1992

SIS is an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table, a signal transition graph, or a logic-level description of a sequential circuit, it produces an optimized net-list in the target technology while preserving the sequential input-output behavior. Many different programs and algorithms have been… (More)

- Robert K. Brayton, Gary D. Hachtel, +13 authors Tiziano Villa
- CAV
- 1996

ion Manual abstraction can be performed by giving a file containing the names of variables to abstract. For each variable appearing in the file, a new primary input node is created to drive all the nodes that were previously driven by the variable. Abstracting a net effectively allows it to take any value in its range, at every clock cycle. Fair CTL model… (More)

- Robert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang
- IEEE Transactions on Computer-Aided Design of…
- 1987

MIS is both an interactive and a batch-oriented multilevel logic synthesis and minimization system. MIS starts from the combinational logic extracted, typically, from a high-level description of a macrocell. It produces a multilevel set of optimized logic equations preserving the input-output behavior. The system includes both fast and slower (but more… (More)

- Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
- IEEE Trans. on CAD of Integrated Circuits and…
- 1996

We present a robust and efficient algorithm for combinational test generation using a reduction to satisfiability (SAT). The algorithm, TEGUS, has the following features. We choose a form for the test set characteristic equation which minimizes its size. The simplified equation is solved by an algorithm for SAT using simple, but powerful, greedy heuristics,… (More)

- Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli
- IEEE Computer
- 2003

A solid design flow must capture designs at well-defined levels of abstraction and proceed toward an efficient implementation. The critical decisions involve the system’s architecture, which will execute the computation and communication tasks associated with the design’s overall specification. Understanding the application domain is essential to ensure… (More)

- Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli
- IEEE Transactions on Computer-Aided Design of…
- 1987

This paper describes both a heuristic algorithm, Espresso-MV, and an exact algorithm, Espresso-EXACT, for minimization of multiple-valued input, binary-valued output logic functions. Minimization of these functions is an important step in the optimization of programmable logic arrays (PLA's). In particular, the problems of two-level multiple-output… (More)

- Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
- 26th ACM/IEEE Design Automation Conference
- 1989

The problem of encoding the states of a synchronous Finite State Machine (FSM), so that the area of a two-level implementation of the combinational logic is minimized, is addressed. As in previous approaches, the problem is reduced to the solution of the combinatorial optimization problems defined by the translation of the cover obtained by a… (More)

- Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
- IEEE Trans. on CAD of Integrated Circuits and…
- 1998

We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible behaviors. A process is determinate if, given the constraints imposed by the inputs, there are exactly one or exactly zero behaviors. Compositions of processes are… (More)

- Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
- IEEE Trans. on CAD of Integrated Circuits and…
- 2000

System-level design issues become critical as implementation technology evolves towards increasingly complex integrated circuits and the time-to-market pressure continues relentlessly. To cope with these issues, new methodologies that emphasize re-use at all levels of abstraction are a “must”, and this is a major focus of our work in the Gigascale Silicon… (More)