Translating Common Security Assertions Across Processor Designs: A RISC-V Case Study

Sharjeel Imtiaz, Uljana Reinsalu, Tara Ghasempouri

RISC-V is gaining popularity for its adaptability and cost-effectiveness in processor design. With the increasing adoption of RISC-V, the importance of implementing robust security…