Project Details
Description
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.
The project has been partly supported by STVF within the Codesign project.
| Status | Active |
|---|---|
| Effective start/end date | 01/01/1992 → … |
Fingerprint
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.