Question #2: Since RISC-V is a huge design, how can one verify it, and what are the initial assumptions? - FirstEDA
23241
portfolio_page-template-default,single,single-portfolio_page,postid-23241,ajax_fade,page_not_loaded,,qode-child-theme-ver-1.0.0,qode-theme-ver-14.5,qode-theme-bridge,wpb-js-composer js-comp-ver-6.2.0,vc_responsive

Question #2: Since RISC-V is a huge design, how can one verify it, and what are the initial assumptions?

Video: Shaun Giebel gives tips on how to tackle larger RISC-V designs by using the so-called “divide-and-conquer” verification approach.