"Automatic Generation of Complex Properties for Hardware Designs."

Frank Rogin et al. (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics