The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation

Authors:
Alain J. Martin
Affiliations:
-
Venue:
Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects
Year:
1989

Citing 0
Cited 1

Compilation and Synthesis for Real-Time Embedded Controllers

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Quantified Score

Hi-index	0.00

Visualization

Abstract