The T-Ruby Design System

Publication: Research - peer-reviewJournal article – Annual report year: 1997

View graph of relations

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
Publication date1997
Volume11
Journal number3
Pages239-264
ISSN0925-9856
DOIs
StatePublished
CitationsWeb of Science® Times Cited: 7

Keywords

  • Hardware description languages, Relational specification, Ruby, Correctness-preserving transformations, Synchronous circuit design
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 5327262