Neelabja Dutta

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… Writing C/C++ Models for Efficient Datapath Validation Using VC Formal DPV