A tutorial on using PVS for hardware verification (1997)

by S Owre, J Rushby, N Shankar, M Srivas
Venue:in Theorem Provers in Circuit Design (TPCD ’94