Join Dr. Ashish Darbari on 9 May, at #ChipEx, at Tel Aviv Expo Centre. Find out how to verify billion-gate #NoCs and complex IPs such as #riscv processors with formal methods. Prove mathematically that bugs are absent and catch corner-case bugs that will prevent expensive re-spins.
