Shiu Kai Chin, Edward P. Stabler

Research output: Chapter in Book/Report/Conference proceedingConference contribution


A method of design using automated logic and provably correct arithmetic transformations of inputs to arithmetically equivalent outputs is proposed. This approach starts with a functional-level description and produces a network interconnection list of macrocells at the gate and register level. The netlist output corresponds to the netlists used by various netlist comparison checkers or could serve as input to a silicon compiler. The novelty and importance of the approach is its use of logic, arithmetic rules, and logic programming to describe and document the synthesis process so that the design is provably correct.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE Computer Society
Number of pages3
ISBN (Print)0818607351
StatePublished - Dec 1 1986

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.'. Together they form a unique fingerprint.

  • Cite this

    Chin, S. K., & Stabler, E. P. (1986). SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS. In Unknown Host Publication Title (pp. 558-560). IEEE Computer Society.