Integrated Circuit and System Design
The Department for Integrated Circuit and System Design covers the development of design methods for various application areas. A particular focus of our work is on the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have proven to successfully apply the methods developed by us in complementary research areas (learn more about our research on this page). For students, we offer lectures for graduate and undergraduate students and supervise Bachelor as well as Master theses. We believe in research-oriented learning.
News
- Feb 22, 2021: Our work on "Efficient Post-Silicon Run-Time Error Detection for Systems-on-Chip" is presented at the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ).
- Feb 19, 2021: Robert Wille has been appointed Jury Member for the Grand Finals of the ACM Student Research Competition (SRC).
- Feb 12, 2021: Robert Wille has been appointed member of the Program Committee for the International Workshop on Logic & Synthesis (IWLS).
- Feb 04, 2021: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI SoC)
- Feb 03, 2021: Lorenzo Servadei successfully completed his PhD thesis entitled “Cost Estimation and Optimization of Hardware/Software Co-Designs Using Machine Learning”. Congratulations!
- Feb 03, 2021: We published the open-source implementation of our initial design automation tool for the European Train Control System (ETCS). More at this page.
- Feb 02, 2021: We published the open-source implementation of our noise-aware quantum circuit simulation. More at this page.
- Feb 01-04, 2021: Our works on
- "Towards Automatic Design and Verification for Level 3 of the European Train Control System",
- "As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation",
- "Stochastic Quantum Circuit Simulation Using Decision Diagrams",
- "Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures",
- "Visualizing Decision Diagrams for Quantum Computing", and
- "Generic Sample Preparation for Different Microfluidic Platforms".
- Feb 01, 2021: We give a brief talk on "EDA Tools for Quantum Computing" at the DATE tutorial "M04 Security in the Post-Quantum Era: Threats and Countermeasures".
- Feb 01, 2021: We are organizing the PhD Forum at DATE.
- Jan 30, 2021: Robert Wille has been appointed member of the Program Committee for the Euromicro Conference on Digital System Design (DSD).
- Jan 29, 2021: The open-source implementation of our quantum circuit simulation with decision diagrams got a major update. It now also includes our recently developed methods for weak simulation and approximate simulation. More at this page.
- Jan 26, 2021: We extended our quantum circuit verification tool, so that it now can be natively integrated with IBM Qiskit (see more on this page).
- Jan 19-21, 2021: Our works on are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
- Jan 08, 2021: Michael Artner successfully completed his Bachelor thesis entitled "Visualizing Quantum Decision Diagrams". Congratulations!
- Jan 07, 2021: Robert Wille has been appointed member of the Computing Frontiers Conference (CF).
- Jan 07, 2021: Robert Wille has been appointed PC Member for the Reed Muller Workshop (RM).
- Jan 07, 2021: Robert Wille has been appointed Jury Member for the EDAA PHD Outstanding Dissertation Award.
- Jan 04, 2021: Eric Schinwald successfully completed his Bachelor thesis entitled "Evaluating Custom Coupling Maps for Quantum Circuits". Congratulations!
- Jan 04, 2021: Philipp Ebner successfully completed his Bachelor thesis entitled "Meander Designer: Automated Design of Meander Channels". Congratulations!