"Constraint synthesis for environment modeling in functional verification."

Jun Yuan et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics