江介宏的個人資料 - Profile of Jie-Hong Roland Jiang

江介宏 Jie-Hong Roland Jiang

國立台灣大學電機工程學系
Professor, Department of Electrical Engineering, National Taiwan University
Professor, Graduate Institute of Electronics Engineering, National Taiwan University
Professor, Genome and Systems Biology Degree Program, National Taiwan University

主要研究領域:

驗證理論與方法、硬體分析合成、最佳化方法應用、計算模型、量子/分子計算、系統與合成生物學

Major Research Areas:

formal verification, logic synthesis, optimization methods, computation models, quantum/molecular computation, systems and synthetic biology

研究領域摘要:

Research Summary:

ALCom Lab focuses on developing key techniques to advance the efficiency and quality of system design. Theoretical and experimental approaches are both taken. Among the broad interests, three main themes are particularly covered: 

Verification

Ensuring design correctness is crucial in all hardware and software designs. In fact, verification is the most time-consuming part of modern system design. Some recent statistics show verification may take up to 60~80% of the total design time and may require a 3-to-1 ratio between verification engineers and circuit designers. Therefore, developing effective verification techniques has great impact on system design. Sample topics include sequential equivalence checking, property checking, arithmetic circuit verification, etc.

Optimization 

As IC manufacturing process advances, design paradigms shift. Under stringent design criteria, exploiting optimal solutions in various abstraction levels is desperately needed. Sample topics include language equation solving for digital circuit optimization, statistical analysis and optimization for VLSI manufacturability, etc.

Foundations

Tomorrow's important technology breakthroughs stems from today's basic research. It is interesting to explore what we can build from emerging novel technologies. Sample topics include quantum computation models, heterogeneous system modeling, etc.

 

[For research openings, please contact Prof. Jiang.]

Photo of Jie-Hong Roland Jiang