Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.

Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu

Browse the full FM paper archive.