Doctoral Dissertation Award
United States – 1988
CITATION

For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."