Model Checking in a Microprocessor Design Project.

Geoff Barrett, Anthony McIsaac

Browse the full CAV paper archive.