Ashish Darbari presented a talk on Using Formal to Vaccinate RISC-V Designs Against Catastrophic Bugs. in the RISC-V Global Forum 2020
Ashish Darbari presents a paper “Universal formal verification of RISC-V processors” in DAC 2020 in the IP Track Tackling IP Challenges for Next Generation Technologies Like AI/ML/5G
Axiomise announces a webinar on RISC-V formal verification to raise funds for WHO fight for Covid-19
Ashish Darbari presented the industry’s first and only vendor-neutral RISC-V ISA formal solution at the annual RISC-V summit
Ashish Darbari presented a technical tutorial at the annual VC Formal SIG, India event in Bangalore, 2019.