&gt; Is there any one in the community who is actively working on the verification story ?<p>Not sure. I&#x27;d look out for videos to show up at the RISC-V workshop that&#x27;s ongoing (<a href="http:&#x2F;&#x2F;riscv.org&#x2F;workshop-jan2016.html" rel="nofollow">http:&#x2F;&#x2F;riscv.org&#x2F;workshop-jan2016.html</a>).<p>The problem is verification is where the $$$ is, so even amongst people sharing their CPU source code, they&#x27;re less willing to share the true value-provided of their efforts. A debug spec is being developed and will be added to Rocket-chip  to make this problem easier.<p>With that said, MIT gave a good talk at the RISC-V workshop about their works on verification, and we open sourced our torture tester at (<a href="http:&#x2F;&#x2F;riscv.org&#x2F;workshop-jan2016.html" rel="nofollow">http:&#x2F;&#x2F;riscv.org&#x2F;workshop-jan2016.html</a>).