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.