Specification and verification of vlsi systems (1989)

by A Wilk, A Pnueli
Venue:In IEEE/ACM International Conference on Computer-Aided Design