Simulating hardware specifications within a theorem proving environment (1990)

by Albert Camilleri
Venue:International Journal of Computer Aided VLSI design