Ben Cohen
SystemVerilog assertions handbook : for dynamic and formal verification
All about Acol
Ben Cohen - My Autobiography
Bridge quiz
Calling a spade a spade
Four Color Bleed
Hot Hand
The River and Firth of Clyde, 1549-1993
VHDL Answers to Frequently Asked Questions
VHDL answers to frequently asked questions
VHDL coding styles and methodologies
Above the Law