Due to the advance in process technologies and the growth of system/circuit design complexity, the number of transistors in a state-of-the-art system on chip (SOC) or integrated circuit (IC) is usually on the order of billion (~109 transistors). Designing such a complex system is no longer possible with human capabilities, and thus necessitates the software tools for electronic design automation (EDA) so as to enhance designers' productivity. EDA is an interdisciplinary field of computer science (CS), computer engineering (CE), and electronic engineering (EE), which formulates and translates high-complexity problems of system/circuit design into mathematical or logical models, and then solves the problems with the software implementation of dedicated algorithms. There are only a few computer science disciplines integrating theory with practice, and integrating software and hardware-EDA is one of them.
Traditional applications of EDA include solving various problems throughout the entire SOC/IC design flow, such as software/hardware co-design, functional verification, logic synthesis and optimization, automatic placement and routing, design for manufacturability, reliability, and testability, etc. Furthermore, the applicability of EDA has extended to intelligent vehicles, smart grids/houses, microfluidic biochips, renewable energy, and the internet of things. With the explosive growth of complexity of these emerging topics, the support of effective and efficient design automation is becoming necessary, and many EDA techniques can seamlessly contribute.
Our research group is running plenty of projects funded by the government and industry. We have recently presented many outstanding research results in ACM/IEEE Design Automation Conference (DAC) and IEEE/ACM International Conference on Computer-Aided Design (ICCAD), the two topmost international conferences in the EDA community. Several teams of students won worldwide programming contests such as IC/CAD contest and ACM CADathlon. Majority of the faculty members earned thesis/paper awards and academic achievement awards, and served (or are serving) in the technical program committee for major EDA conferences, and/or in the editorial board for major EDA journals. Also, we have massive research interaction and collaboration with many universities around the world, including the United States, Germany, Denmark, Japan, India, China, and Singapore.
- Algorithms for Electronic Design Automation
- Design Automation for Biochips
- Computer-Aided Design for Intelligent Vehicles/Grids and IoT/SoC
- Parallel Computing on Multicore Platforms
- Reliable/Trustworthy System Design