10xEngineers’ Post

View organization page for 10xEngineers

7,605 followers

𝐄𝐱𝐜𝐢𝐭𝐞𝐝 𝐭𝐨 𝐣𝐨𝐢𝐧 𝐙𝐞𝐫𝐨 𝐃𝐚𝐲 𝐋𝐚𝐛 𝐟𝐨𝐫 𝐚 𝐭𝐚𝐥𝐤 𝐨𝐧 "𝐎𝐩𝐞𝐧-𝐒𝐨𝐮𝐫𝐜𝐞, 𝐂𝐨𝐦𝐦𝐞𝐫𝐜𝐢𝐚𝐥-𝐆𝐫𝐚𝐝𝐞 𝐑𝐈𝐒𝐂-𝐕 𝐈𝐎𝐌𝐌𝐔 𝐈𝐏 𝐰𝐢𝐭𝐡 𝐕𝐞𝐫𝐢𝐟𝐢𝐜𝐚𝐭𝐢𝐨𝐧" 𝐚𝐭 𝐭𝐡𝐞 RISC-V International 𝐒𝐮𝐦𝐦𝐢𝐭 𝐍𝐨𝐫𝐭𝐡 𝐀𝐦𝐞𝐫𝐢𝐜𝐚. In this session, we will discuss the verification methods 10xEngineers used to verify the IP. We utilized both UVM-based and formal verification methodologies to verify the IP. The verification plan has so far achieved 85% of the coverage targets. During this process, 10xEngineers identified several RTL bugs and design issues, using both functional and formal verification techniques, which have been addressed through collaborative efforts. 👉Find about 10xEngineers here: https://10xengineers.ai/ #RISCVSummit #RISCVEverywhere

  • graphical user interface
Jérôme Quévremont

RISC-V and open hardware project leader, Thales

5mo

Would you curate the verified IOMMU at OpenHW Group ?

Like
Reply

To view or add a comment, sign in

Explore topics