Formal Verification

Register for OpenHW TV Episode 6 focusing on Formal Verification for the CORE-V CVE4

Wednesday, November 11, 2020 - 18:07 by Nayl DSouza

Be sure to register for the next episode of OpenHW TV next Thursday 19th November @ 11am EST / 8am PST / 4pm BST for a deep dive into Formal Verification for the CORE-V CVE4. As always, your questions are answered live by our experts which will include Sven Beyer at OneSpin, Ashish Darbari from Axiomise and Mike Thompson from OpenHW Group. Register now: https://bit.ly/38C7hku