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.
Announcement
-
We are looking for applications for a "Postdoc Position: Quantum Computing for Medical
Applications".
News
- Oct 14, 2020: Our work on "Efficient and Correct Compilation of Quantum Circuits" is presented at the IEEE International Symposium on Circuits and Systems.
- Sep 30, 2020: The SCCH which is led by our Institute Head is featured in an interview with CEO Markus Manz and CSO Robert Wille
- Sep 12, 2020: Our book chapter “An Efficient Nearest Neighbor Design for 2D Quantum Circuits” has been published by Springer.
- Sep 11, 2020: Our work on "Cost Estimation for Configurable Model-Driven SoC Designs Using Machine Learning" is presented at the Great Lakes Symposium on VLSI (GLVLSI).
- Aug 28, 2020: Our work on ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing is presented at the Euromicro Conference on Digital System Design (DSD).
- Aug 8, 2020: The LIT Secure and Correct Systems Lab in which we have a part is featured in an interview with Robert Wille.
- Jul 27, 2020: Our work on "SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies" is presented at the International Workshop on Logic Synthesis (IWLS).
- Jul 25, 2020: Our work on "Post Synthesis-Optimization of Reversible Circuits using Template Matching" is presented at the International Symposium on VLSI Design and Test (VDAT).
- July 24, 2020: Best Poster Award for the Young Student Fellow Program presentation "Decision Diagrams for Quantum Computing" at the Design Automation Conference (DAC) awarded to Stefan Hillmich
- Jul 20-24,2020: Our work on
- "The Power of Simulation for Equivalence Checking in Quantum Computing",
- "Just Like the Real Thing: Fast Weak Simulation of Quantum Computation", and
- "Verification for Field-coupled Nanocomputing Circuits" are presented at the Design Automation Conference (DAC).
- Jul 20-24,2020: Lukas Burgholzer and Stefan Hillmich participate at the Young Student Fellow Program of the Design Automation Conference (DAC).
- Jul 19, 2020: Robert Wille gives a talk on "EDA tools for simulation, compilation, and verification of quantum circuits" at the DAC Workshop on Design Automation for Quantum (DAQ).
- Jul 06, 2020: Our work on "Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits" is presented at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI).