Close

Organization

University of Bremen
Contributors
Sallar Ahmadi-Pour
Kemal Çağlar Coşkun
Rolf Drechsler
Rolf Drechsler
Alberto Garcia-Ortiz
Muhammad Hassan
Muhammad Hassan
Chandan Kumar Jha
Khushboo Qayyum
Presentations
Research Manuscript
Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent
EDA
Analog CAD, Simulation, Verification and Test
Research Manuscript
GNN-assisted Back-side Clock Routing Methodology for Advance Technologies
EDA
Physical Design and Verification
Late Breaking Results Poster
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification