56th Design Automation Conference (DAC)
Las Vegas, Nevada, USA | June 2–6
DAC is the largest conference that we do each year, and we're going bigger than ever in 2019. Product Specialist Design Verification Nicolae Tusinschi will present a paper "Unbounded Formal Verification of RISC‑V CSRs with Interval Property Checking" on the Designer/IP Track, while Senior Field Application Engineer Sasa Stamenkovic will be in the Designer/IP Track Poster Session to share "Advances in Formal Connectivity Checking – A Case Study on a Multi-Billion-Gate SoC." Last but not least, our exhibit (booth #308) promises to be our most impressive display yet, so be sure to stop by and see us!