-
1
EDICT: An Environment for Design Using Integrated Circuit Tools
Published 1984“…Department of Computer Science‚ University of Calgary…”
Report -
2
Hardware Verification by Formal Proof
Published 1988“…Department of Computer Science‚ University of Calgary…”
Report -
3
Specification and VLSI Design
Published 1985“…Department of Computer Science‚ University of Calgary…”
Report