Hierarchical Analog and Mixed-Signal Verification Using Hybrid Formal and Machine Learning Techniques
This annual review presentation summarizes the key research and industrial interactions conducted in the first year of the project.
|Computer-Aided Design and Test - Verification and System Logic & Physical Design Review|
Monday, June 19, 2017, 8 a.m.–5:30 p.m. CT
Austin, TX, United States