Graham Birtwistle

• VLSI Specification, Verification and Synthesis
• Asynchronous Digital Circuit Design
• Current Trends in Hardware Verification and Automated Theorem Proving
• IV Higher Order Workshop, Banff 1990
• Living art