close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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! 


Related Links