The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Sequential circuit design using synthesis and optimization

The work

AuthorsEllen M. Sentovich; K.J. Singh; Cho W. Moon; Hamid Savoj; Robert K. Brayton; Alberto Luigi Sangiovanni-Vincentelli
Editors
Typemisc
Year1992
Also known assentovich2003sequential
Citekeysentovich1992sequential

Where it appeared

Published inIEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)
Pages328--333

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

A description is given of SIS, an interactive tool for synthesis and optimization of sequential circuits. Given a state transition table or a logic-level description of a sequential circuit, SIS produces an optimized net-list in the target technology while preserving the sequential input-output behavior. Many different programs and algorithms have been integrated into SIS, allowing the user to choose among a variety of techniques at each stage of the process. It is built on top of MISII and includes all (combinational) optimization techniques therein as well as many enhancements. SIS serves as both a framework within which various algorithms can be tested and compared and as a tool for automatic synthesis and optimization of sequential circuits.>

How it got here

How it got hereagent via openalex
Added2026-10-26 03:48 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{sentovich1992sequential,
  title        = {Sequential circuit design using synthesis and optimization},
  author       = {Ellen M. Sentovich and K.J. Singh and Cho W. Moon and Hamid Savoj and Robert K. Brayton and Alberto Luigi Sangiovanni-Vincentelli},
  year         = {1992},
  journal      = {IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD)},
  pages        = {328--333},
  doi          = {10.1109/iccd.1992.276282},
}

This record lives at https://refs.drheap.org/sentovich1992sequential/ and will keep doing so. It used to be called sentovich2003sequential, and those addresses still resolve to this one.