Poster : Framework for Security Verification of Secure Processor Architectures
The Rocket Chip Generator