SIS: A System for Sequential Circuit Analysis”, (1990)

by E M Sentovich