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
- May 14, 2020: Our book chapter "Simulation and Design of Quantum Circuits" has been published in the Springer book "Reversible Computation: Extending Horizons of Computing".
- May 1, 2020: Robert Wille becomes new Chief Scientific Officer at the Software Competence Center Hagenberg GmbH ( see also this press release and notes/articles in Oberösterreichische Nachrichten, Mein Bezirk, as well as Tips.
- Apr 28, 2020: Alwin Zulehner has been awarded with the EDAA Outstanding Dissertation Award given by the European Design and Automation Association (see corresponding press release in German).
- Apr 27, 2020: Our work on "On the Impact of the Synchronization Constraint and Interconnections in Quantum-dot Cellular Automata" has been published in Microprocessors and Microsystems (MICPRO).
- Apr 23, 2020: Our work on "Off-chip Controlled Droplet-on-Demand Method for Precise Sample Handling" has been published in ACS Omega.
- Apr 21, 2020: Our works on
- "Towards Exploring the Potential of Alternative Quantum Computing Architectures" and
- "Verification Runtime Analysis: Get the Most Out of Partial Verification" are presented at the Design, Automation and Test in Europe (DATE). Besides that, we are part of the Special Session on "Realizing Quantum Algorithms on Real Quantum Computing Devices" at this conference.
- Apr 20, 2020: We are reporting about our experiences in distance learning in an interview at JKU.at.
- Apr 18, 2020: Our work on "Passive Droplet Control in Two-Dimensional Microfluidic Networks" has been published in IEEE Transactions on Molecular, Biological, and Multi-Scale Communications.
- Apr 16, 2020: Our work on "How Secure are Checkpoint-based Defenses in Digital Microfluidic Biochips?" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
- Apr 12, 2020: Robert Wille has been appointed member of the Program Committee for the International Conference on Computer Design (ICCD).
- Apr 08, 2020: Our book "Introducing Design Automation for Quantum Computing" has been published by Springer.
- Mar 24, 2019: Robert Wille has been appointed Track Chair for "4.2 Nanoscale and Post-CMOS Systems" at the International Conference on Computer Aided Design (ICCAD).
- Mar 17, 2020: Our work on "Design and realization of flexible droplet-based lab-on-a-chip devices: From theory to practice" has been published in e & i Elektrotechnik und Informationstechnik.
- Mar 09, 2019: Robert Wille has been appointed Subcommittee Chair for "Emerging Technologies and Applications" at the Asia and South Pacific Design Automation Conference (ASP-DAC).
- Mar 03, 2020: Our work on "Overcoming the Trade-off Between Accuracy and Compactness in Decision Diagrams for Quantum Computation" has been published in the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
- Mar 01, 2020: Our work on "Modeling and Simulation of Electrophoretic Deposition Coatings" has been published in the Journal of Computational Science.
- Feb 28, 2020: Robert Wille has been appointed member of the Program Committee for the International Workshop on Boolean Problems (IWSBP).
- Feb 26, 2020: Our work on "Integer Overflow Detection in Hardware Designs at the Specification Level" is presented at the Model-Driven Engineering and Software Development (MODELSWARD).
- Feb 24, 2020: Robert Wille has been appointed PhD Forum Chair and Executive Committee Member of the Design, Automation & Test in Europe (DATE).
- Feb 13, 2020: Robert Wille has been appointed member of the Program Committee for the International Workshop on Logic & Synthesis (IWLS).
- Jan 29, 2020: Robert Wille has been appointed member of the Program Committee for the International Symposium on Devices, Circuits and Systems (ISDCS).
- Jan 26, 2020: Robert Wille has been appointed member of the Program Committee for the International Conference on Very Large Scale Integration (VLSI SoC).
- Jan 25, 2020: Our work on "Accurate Cost Estimation of Memory Systems Utilizing Machine Learning and Solutions from Computer Vision for Design Automation" has been published in the IEEE Transactions on Computers (TC).
- Jan 18, 2020: Jan 02, 2018: Our book chapter "Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks" has been published by Springer.
- Jan 13-16, 2019: Our works on
- "Improved DD-based Equivalence Checking of Quantum Circuits",
- "Approximation of Quantum States Using Decision Diagrams",
- "Concurrency in DD-based Quantum Circuit Simulation", and
- "Towards Automatic Hardware Synthesis from Formal Specification to Implementation" are presented at the Asia and South Pacific Design Automation Conference (ASP-DAC).
- Jan 10, 2020: Our work on "Near Zero-Energy Computation Using Quantum-dot Cellular Automata" has been published in the Journal on Emerging Technologies in Computing Systems (JETC).