Tomorrow's Digital Hardware will be Asynchronous and Verified

Martin, Alain J. (1993) Tomorrow's Digital Hardware will be Asynchronous and Verified. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-26]

Full text available as:

Postscript - Requires a viewer, such as GhostView

Abstract

Encouraged by the results of almost a decade of research and experimentation, we claim that tomorrow's design methods for digital VLSI will be based on a concurrent programming approach to high-level synthesis, asynchronous techniques, and correctness-preserving program transformations.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	115
Deposited By:	Caltech Library System
Deposited On:	25 April 2001
Record Number:	CaltechCSTR:1993.cs-tr-93-26
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-26
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record