Author Information
Templates
PDF Express
PDF Help
Type 3 Font Info
Copyright Form
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.
Add To
My Sched
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