Transformational Methods in VLSI Design

  • Sharp, Robin (Project Manager)
  • Møller, Peder Sveinbjørn (Project Participant)
  • Rasmussen, Ole Steen (Project Participant)

    Project Details


    The aim of this project is to investigate methods of VLSI design based on transformation from a high-level specification. The main focus is on the use of the relational specification language Ruby, and has resulted in the development of a design system known as T-Ruby and an associated proof tool, RubyZF, for proving the correctness of the transformations involved.
    The project has been partly supported by STVF within the Codesign project.
    Effective start/end date01/01/1992 → …


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.