Hardware verification using higher-order logic. (1986)

by A J Camillieri, M J C Gordon, T F Melham
Venue:From HDL Descriptions to Guaranteed Correct Circuit Designs. North