A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
The T-Ruby design system
Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
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 constr:sints. A class of implementable relations is defined. The tool enables such relations to be simulated or ti~anslated into a circuit description in VHDL. Thedoi:10.1109/aspdac.1995.486374 fatcat:7ho3h4qq7jhoxmgtxmojokrv2y