Poster : Framework for Security Verification of Secure Processor Architectures
Chisel: constructing hardware in a Scala embedded language