#VLSIDesign2024 - looking forward to going to #India soon to present on #formal proof techniques and #PolynomialFormalVerification at a #tutorial and a #keynote, resp. vlsid.org/confernce-de...
#PolyVer #verification