[dv] Ibex V2 Actions

[GregAC]

• Investigate RISC-V DV coverage holes #1902
  • Fix bitmanip coverage collection - Fix bitmanip cov chipsalliance/riscv-dv#910
  • Look into other holes, check there's nothing vital missing - [dv] Small architectural coverage issues to investigate #1925
  • [rtl] Fix zbs bitmanip instruction tracer output #1929
  • Update google_riscv-dv to google/riscv-dv@d7c50c1 #1930
• Complete internal interrupt work Mem intg testing #1907
• Write up PMP coverage holes with justifications why they don't need to be closed for V2 #1903, [dv] PMP Coverage Holes #1944
• Complete iCache functional coverage work - [dv] Add functional coverage points for icache #1649, Icache fcov #1923
• Add double fault checking assertion - [dv] Verify double fault behaviour #1760, [dv] Add assertions checking double_fault_seen_o #1916
• Assert in OT earlgrey to ensure correct connectivity for fetch enable - [rv_core_ibex] Reintroduce assert that PC does not advance when Ibex is disabled opentitan#15217
• Assert to check crash dump output - [chip, dv, cov] Address low coverage of alert_dump and crashdump signals opentitan#15427, [fpv] Add asserts to check crash dump connectivity #1924
• Add V2 checklist in Ibex documentation #1904, [doc] Add V2/V2S checklists and declare V2S #1939
  • Link from OT docs
  • Explain PMP coverage/verification is better closed by formal techniques or different test generation strategies but the current setup is sufficient for V2
• Add/modify existing coverage report with useful top-level metrics for matching OT coverage metrics to Ibex nightly #1905 - [dv] Fixup coverage collection to match OT dvsim flow #1928