Lecture session A3L-A / 11:00am – 11:40am

CAD & Design Tools
Clic here for detailed information (including list of authors and abstrtact, clic on the paper number)

Clic on the title link below to view the video presentations of each papers:
(the links will be live starting June 12, 2020)

11:00am – 5027 Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits

11:12am – 5091 Fast Hierarchical System Synthesis Based on Predictive Models

11:24am – 5133 Fast and Scalable I/O Pin Assignment with Divide-and-Conquer and Hungarian Matching

Back to technical program