Guidelines for NGHDL and Design Methods

$next$ $up$ $previous$ $contents$
Next: Case Studies Up: First Annual Meeting Previous: Foundations

Augburg, Madrid, Kent, TU: List of concepts for NGHDL; representing NGHDL within Isabelle; and the methodology of NGHDL.

Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995