"Automated RTL Verification Based on Predicate Calculus."

Michel Langevin (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics