Question #1: Is there a special formal technique for RISC-V only?
Shaun Giebel goes into the details about the formal approach for verifying RISC-V, especially with regards to property creation under the constraints of the dedicated ISA.
Get more information on RISC-V Verification. Download our white paper.