G. Birtwistle

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

State space reduction for asynchronous micropipelines

C. Tofts and others (1996) · BCS-FACS Northern Formal Methods Workshop

Hardware Verification by Formal Proof

G. Birtwistle and others (1988) · Proceedings of the Canadian Conference on Electrical and Computer Engineering, Vancouver, November 3–4, 1988

Specification and VLSI Design

G. Birtwistle and others (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI