A methodology for hardware verification using compositional model checking.

Kenneth L. McMillan A methodology for hardware verification using compositional model checking. 279-309 2000 37 Sci. Comput. Program. 1-3 db/journals/scp/scp37.html#McMillan00