A model and proof technique for verifying hardware compilers for communicating processes

Authors:
John Willis O'Leary
Affiliations:
Cornell Univ.
Venue:
A model and proof technique for verifying hardware compilers for communicating processes
Year:
1996

Citing 0
Cited 1

Deriving two-phase modules for a multi-target hardware compiler

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits

Quantified Score

Hi-index	0.00

Visualization

Abstract