The T-Ruby Design System

Robin Sharp, Ole Steen Rasmussen

    Research output: Contribution to journalJournal articleResearchpeer-review


    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
    JournalFormal Methods in System Design
    Issue number3
    Pages (from-to)239-264
    Publication statusPublished - 1997


    • Hardware description languages
    • Relational specification
    • Ruby
    • Correctness-preserving transformations
    • Synchronous circuit design


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

    Cite this