Doulos Senior Member Technical Staff, Doug Smith will be presenting "Doing the Impossible: Using Formal Verification on Packet Based Data Paths" as part of the Formal Restrained track.
This free online workshop will help you learn about the Kria™ System-on-Module (SOM) and Kria KV260 Vision AI Starter Kit from AMD Xilinx.