Wednesday, May 18, 2022 | 10:00 – 11:00 a.m. Pacific AI, Graphics, CPU, and many modern designs have arithmetic intensive blocks that are hard to verify with traditional techniques. Synopsys VC Formal DPV (Datapath Validation)… Writing C/C++ Models for Efficient Datapath Validation Using VC Formal DPV