Browse all content in Siemens Verification Academy with the tag golden model

February 2023

• A Formal-based Approach for Efficient RISC-V Processor Verification

  Formal Verification Feb 24, 2023 Laurent Arditi, Paul Sargent, Thomas Aird, Lauranne Choquin - Codasip Article

March 2021

• The Six Steps Of RISC-V Processor Verification Including Vector Extensions

  Verification IP Mar 03, 2021 Larry Lapides Article

June 2018

• UVM-based Verification of a RISC-V Processor Core Using a Golden Predictor Model and a Configuration Layer

  Acceleration Jun 29, 2018 Marcela Zachariášová, Luboš Moravec - Codasip Ltd. Article