Formal hardware verification methodology and its application to a network interface chip (1986)

by M Gordon, J Herbert
Venue:IEE Proceedings, 133, Part E(5