https://www.synopsys.com/verification/resources/whitepapers/fmeda-powered-safety-verification.html
FMEDA Powered Safety Verification Methodology for Semiconductors
This paper will discuss how Synopsys VC Functional Safety Manager (FSM) enables comprehensive and integrated FMEDA analysis with the chip development process...
verification methodologyfmedapoweredsafetysemiconductors
https://www.synopsys.com/partners/bluespec/bluesplec-riscv-wp.html
Universal Verification Methodology Coverage for Bluespec RISC-V Cores | Synopsys
Basics of UVM functional coverage for RISC-V cores using Google RISCV-DV open-source project+Synopsys verification solutions + Bluespec RISC-V processor cores.
verification methodologyuniversalcoveragebluespecrisc