2020 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 2-5, 2020VIRTUAL CONFERENCE

Formal Verification of Phase- Locked Loops Using Reachability Analysis and Continuization
Matthias Althoff, Akshay Rajhans, Bruce Krogh, Soner Yaldiz, Xin Li, Larry Pileggi Carnegie Mellon Univ., Pittsburgh, PA


Gate Sizing and Device Technology Selection Algorithms
for High-Performance Industrial Designs

Mustafa Ozdal and Steven Burns - Intel Corp., Hillsboro, OR
Jiang Hu –Texas A&M Univ., College Station, TX