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
- Apr 12, 2021: Our work on quantum computing is mentioned in a press release by Upper Austrian's Secretary of Economy and Research Markus Achleitner (in German).
- Mar 18, 2021: Sarah Schneider successfully completed her Master thesis entitled "Optimizing SAT-Encodings for Quantum Layout Synthesis". Congratulations!
- March 18, 2021: Dr. Mirjam Weilenmann (Institute for Quantum Optics and Quantum Information, ÖAW, Vienna, Austria) gives a talk on "Quantum physics needs complex numbers".
- Mar 12, 2021: Our work on quantum computing is featured in (German) articles of JKU's "Kepler Tribune" namely
- Mar 08, 2019: Robert Wille has been appointed Track Chair for "3.2 Nanoscale and Post-CMOS Systems" at the International Conference on Computer Aided Design (ICCAD).
- 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 15, 2021: Florian Stögmüller successfully completed his Bachelor thesis entitled "Recordering of Decision Diagrams for Quantum Computing". Congratulations!
- 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.