Department for 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.
- Apr 19, 2017: Our work on "An Efficient Physical Design of Fully-testable BDD-based Circuits" is presented at the International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS).
- Mar 27-30, 2017: Our works on
- "Verification of Networked Labs-on-Chip Architectures"
- "Taking One-to-one Mappings for Granted: Advanced Logic Design of Encoder Circuits"
- "Make It Reversible: Efficient Embedding of Non-reversible Functions"
- Mar 21, 2017: Our work on " Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification has been published in IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).
- Mar 06, 2017: Our research project entitled "CHARON: Complete Control Software for Reliable Quantum Computers" (with Alexandru Paler as PI) starts today within the Linz Institute of Technology (also see press release on LIT projects).
- Feb 27 - Mar 2, 2017: The NII Shonan Meeting on Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering which is co-organized by us takes place.