SYNTHESIS OF DIGITAL DESIGNS BY EQUIVALENCE TRANSFORMATIONS.

Shiu Kai Chin, Edward P. Stabler

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

Abstract

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
Pages558-560
Number of pages3
ISBN (Print)0818607351
StatePublished - Dec 1 1986

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

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.