We at VerifWorks are on a mission to deliver excellence in verification quality so that the maximum number of design bugs can be found as well as at the earliest. VerifWorks’s Karuta is a ML enabled dynamic analysis engine that qualifies the verification mostly done in UVM to achieve shift-left. We ran Karutaon some of the popular, opensource, non-trivial UVM codebase from Google, Cadence, Juniper, Ariane RISC–V, TVIP and more. Our analysis into these codebase reveal interesting results, that left us baffled. Below is a sneek preview:
We will be showcasing this and more in our booth at upcoming DVCon (www.dvcon.org) USA 2020, Mar 2-4, in San Jose, CA, USA. Looking forward to seeing you there #Booth904
You can learn more about the Karuta HERE. Meanwhile you can get in touch with us for more details and/or your own evaluation via firstname.lastname@example.org. For Karuta evaluation follow the link: KarutaEval
All product names, logos, and brands are property and trademarks of their respective owners, registered or used in many jurisdictions worldwide. All company, product and service names used in this article are for identification purposes only. Use of these names, logos, and brands does not imply endorsement.