|
CAD & Design Tools Session |
Session Type: | Lecture |
Session Code: | A3L-A |
Location: | Room VR1 |
Date & Time: | Wednesday June 17, 2020 (11:00 - 11:50) |
Chair: | None |
|
Papers are listed in the order they will be presented.
Paper Id | Topic | Title/Author |
---|
5027 |
3 |
Automated Model Generation Including Variations for Formal Verification of Nonlinear Analog Circuits Malgorzata Rechmal-Lesse, Gerald Alexander Koroa, Yeremia Gunawan Adhisantoso, Markus Olbrich |
5091 |
3 |
Fast Hierarchical System Synthesis Based on Predictive Models Adil Brik, Lioua Labrak, Ian O'Connor, Daniel Saias |
5133 |
3 |
Fast and Scalable I/O Pin Assignment with Divide-and-Conquer and Hungarian Matching Vitor Bandeira, Mateus Fogaça, Eder Matheus Monteiro, Isadora Oliveira, Mingyu Woo, Ricardo Reis |
|