Introduction to formal processor verification at logic level: a case study.

Paul Amblard, Fabienne Lagnier, Michel Lvy

Browse the full WCAE paper archive.