The T-Ruby design system

Robin Sharp, Ole Rasmussen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    260 Downloads (Pure)

    Abstract

    This paper describes the T-Ruby system for designing VLSI circuits, starting from formal specifications in which they are described in terms of relational abstractions of their behaviour. The design process involves correctness-preserving transformations based on proved equivalences between relations, together with the addition of constraints. A class of implementable relations is defined. The tool enables such relations to be simulated or translated into a circuit description in VHDL. The design process is illustrated by the derivation of a circuit for 2-dimensional convolution
    Original languageEnglish
    Title of host publicationProceedings of the ASP-DAC '95/CHDL '95/VLSI '95
    PublisherIEEE
    Publication date1995
    Pages587-596
    ISBN (Print)49-30-81367-0
    DOIs
    Publication statusPublished - 1995
    EventConference on Design Automation : International Conference on Hardware Description Languages; International Conference on Very Large Scale Integration. -
    Duration: 1 Jan 1995 → …

    Conference

    ConferenceConference on Design Automation : International Conference on Hardware Description Languages; International Conference on Very Large Scale Integration.
    Period01/01/1995 → …

    Bibliographical note

    Copyright: 1995 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

    Fingerprint

    Dive into the research topics of 'The T-Ruby design system'. Together they form a unique fingerprint.

    Cite this