Hardware Verification using Higher−Order Logic
Albert Camilleri‚ Mike Gordon and Tom Melham
Book Title
From HDL Descriptions to Guaranteed Correct Circuit Designs: Proceedings of the IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Designs‚ Grenoble‚ France‚ 9–11 September‚ 1986
Editor
Dominique Borrione
ISBN
0−444−70194−X
Pages
43–67
Publisher
North−Holland
Year
1987