et al., "VIS: A System for verification and synthesis (1995)

by R Brayton