FORCE: A Formal Checker for Executability (1986)

by F Anceau
Venue:From HDL Descriptions to Guaranteed Correct Circuit Designs, Proc. of IFIP WG 10.2 Working Conf