Presentation is loading. Please wait.

Presentation is loading. Please wait.

2009/2/10NTUEE Research Projects1 Applied Logic & Computation in System Design - A Research Invitation Jie-Hong R. Jiang 江介宏 NTUEE/GIEE National Taiwan.

Published byMillicent Sims Modified over 9 years ago

Similar presentations

Presentation on theme: "2009/2/10NTUEE Research Projects1 Applied Logic & Computation in System Design - A Research Invitation Jie-Hong R. Jiang 江介宏 NTUEE/GIEE National Taiwan."— Presentation transcript:

1 2009/2/10NTUEE Research Projects1 Applied Logic & Computation in System Design - A Research Invitation Jie-Hong R. Jiang 江介宏 NTUEE/GIEE National Taiwan University TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A

2 2009/2/10NTUEE Research Projects2 ALCom Lab http://alcom.ee.ntu.edu.tw http://alcom.ee.ntu.edu.tw Founded in Aug. 2005 Rm. 526, Ming-Dar Hall Lab of cool ideas  A creative research environment Crazy ideas encouraged!

3 2009/2/10NTUEE Research Projects3 Research focuses Logic  Formal verification and logic synthesis Scalable techniques Synergy between the two Optimization  Statistical methods for nanometer IC design  Optimization methods and their applications Foundations  New computation models

4 2009/2/10NTUEE Research Projects4 Recent publications [1] To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale. ICCAD'08 Joint work with Hsuan-Po Lin, Ruei-Rung Lee [2] Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving. DAC’08 Joint work with Ruei-Rung Lee, Wei-Lun Hung [3] Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving. ICCAD'07 best paper nominee Joint work with Chih-Chun Lee, Chung-Yang (Ric) Huang, Alan Mishchenko [4] Inductive Equivalence Checking under Retiming and Resynthesis. ICCAD'07 Joint work with Wei-Lun Hung [5] SAT-based Logic Optimization and Resynthesis. IWLS'07 Joint work with Alan Mishchenko, Robert Brayton, Stephen Jang [6] A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits. PATMOS'07 Joint work with Chin-Hsiung Hsu, Szu-Jui Chou, Yao-Wen Chang [7] Quantum Mechanical Search and Harmonic Perturbation. Quantum Information Processing, 2007 Joint work with Dah-Wei Chiou, Cheng-En Wu

5 2009/2/10NTUEE Research Projects5 Who are qualified? Whoever interested in  switching circuits / logic design,  computer programming,  discrete math,  algorithms, OR  electronic design automation (EDA)

6 2009/2/10NTUEE Research Projects6 Uniqueness Take on important problems which may yield substantial impacts on industry and academia Work closely with the coach  Gain great research advice and learn a lot Learn what PhD students are doing!  Not just waste your labor

7 2009/2/10NTUEE Research Projects7 Project 1: Biological Circuit Analysis metabolic networks signal transduction networks gene regulatory networks

8 2009/2/10NTUEE Research Projects8 Project 1: Biological Circuit Analysis DNA gene y mRNA promoter transcription translation protein Y protein X X* X can be an activator or a repressor of Y: X Y

9 2009/2/10NTUEE Research Projects9 Project 1: Biological Circuit Analysis Gene regulatory networks are similar to logic circuits! Source: An Intro. to Systems Biology by U. Alon

10 2009/2/10NTUEE Research Projects10 Project 1: Biological Circuit Analysis We’ll apply logic circuit analysis and optimization techniques to biological circuit analysis and design.

11 2009/2/10NTUEE Research Projects11 Project 2: Symmetry Detection Using SAT Solving If f(x,y) = f(y,x), then function f is symmetric on variables x and y We’ll design algorithms to solve this problem for functions with up to hundreds or even thousands of variables

12 2009/2/10NTUEE Research Projects12 Project 3: Circuit Optimization via Functional Dependency and Decomposition Recent work showed an effective way of computing functional dependency and decomposition We’ll use them in the application of circuit optimization

13 2009/2/10NTUEE Research Projects13 Contact info ALCom Lab http://alcom.ee.ntu.edu.tw http://alcom.ee.ntu.edu.tw Rm. 526, MD Hall (02)3366-9668 Jie-Hong R. Jiang http://cc.ee.ntu.edu.tw/~jhjianghttp://cc.ee.ntu.edu.tw/~jhjiang Rm. 242, EEII Building (02)3366-3685 jhjiang@cc.ee.ntu.edu.tw

14 2009/2/10NTUEE Research Projects14 Thank you!

Download ppt "2009/2/10NTUEE Research Projects1 Applied Logic & Computation in System Design - A Research Invitation Jie-Hong R. Jiang 江介宏 NTUEE/GIEE National Taiwan."

Similar presentations

The Synthesis of Cyclic Circuits with SAT and Interpolation By John Backes and Marc Riedel ECE University of Minnesota.

The Synthesis of Cyclic Circuits with SAT and Interpolation By John Backes and Marc Riedel ECE University of Minnesota.
Local Computation Algorithms

Local Computation Algorithms
The Analysis of Cyclic Circuits with Boolean Satisfiability John Backes, Brian Fett, and Marc Riedel Electrical Engineering, University of Minnesota.

The Analysis of Cyclic Circuits with Boolean Satisfiability John Backes, Brian Fett, and Marc Riedel Electrical Engineering, University of Minnesota.
Reduction of Interpolants for Logic Synthesis John Backes Marc Riedel University of Minnesota Dept.

Reduction of Interpolants for Logic Synthesis John Backes Marc Riedel University of Minnesota Dept.
Challenges to the Modern Synthesis Stephen Jay Gould, 1941-2002Nils Eldredge, 1941-2002.

Challenges to the Modern Synthesis Stephen Jay Gould, Nils Eldredge,
1 Boolean Satisfiability in Electronic Design Automation (EDA ) By Kunal P. Ganeshpure.

1 Boolean Satisfiability in Electronic Design Automation (EDA ) By Kunal P. Ganeshpure.
Ren-Song Tsay NTUEE NTUEE UC Berkeley, Ph.D. UC Berkeley, Ph.D. IBM T.J. Watson Research Center IBM T.J. Watson Research Center ArcSys – world first successful.

Ren-Song Tsay NTUEE NTUEE UC Berkeley, Ph.D. UC Berkeley, Ph.D. IBM T.J. Watson Research Center IBM T.J. Watson Research Center ArcSys – world first successful.
Exploiting Symmetry in SAT-Based Boolean Matching for Heterogeneous FPGA Technology Mapping Yu Hu 1, Victor Shih 2, Rupak Majumdar 2 and Lei He 1 1 Electrical.

Exploiting Symmetry in SAT-Based Boolean Matching for Heterogeneous FPGA Technology Mapping Yu Hu 1, Victor Shih 2, Rupak Majumdar 2 and Lei He 1 1 Electrical.
Bounded Model Checking EECS 290A Sequential Logic Synthesis and Verification.

Bounded Model Checking EECS 290A Sequential Logic Synthesis and Verification.
Gene Regulatory Networks - the Boolean Approach Andrey Zhdanov Based on the papers by Tatsuya Akutsu et al and others.

Gene Regulatory Networks - the Boolean Approach Andrey Zhdanov Based on the papers by Tatsuya Akutsu et al and others.
 Y. Hu, V. Shih, R. Majumdar and L. He, “Exploiting Symmetries to Speedup SAT-based Boolean Matching for Logic Synthesis of FPGAs”, TCAD 2008.  Y. Hu,

 Y. Hu, V. Shih, R. Majumdar and L. He, “Exploiting Symmetries to Speedup SAT-based Boolean Matching for Logic Synthesis of FPGAs”, TCAD  Y. Hu,
03/08/2005 © J.-H. Jiang1 Retiming and Resynthesis EECS 290A – Spring 2005 UC Berkeley.

03/08/2005 © J.-H. Jiang1 Retiming and Resynthesis EECS 290A – Spring 2005 UC Berkeley.
USING SAT-BASED CRAIG INTERPOLATION TO ENLARGE CLOCK GATING FUNCTIONS Ting-Hao Lin, Chung-Yang (Ric) Huang Graduate Institute of Electrical Engineering,

USING SAT-BASED CRAIG INTERPOLATION TO ENLARGE CLOCK GATING FUNCTIONS Ting-Hao Lin, Chung-Yang (Ric) Huang Graduate Institute of Electrical Engineering,
Using Mathematica for modeling, simulation and property checking of hardware systems Ghiath AL SAMMANE VDS group : Verification & Modeling of Digital systems.

Using Mathematica for modeling, simulation and property checking of hardware systems Ghiath AL SAMMANE VDS group : Verification & Modeling of Digital systems.
Faster Logic Manipulation for Large Designs Alan Mishchenko Robert Brayton University of California, Berkeley.

Faster Logic Manipulation for Large Designs Alan Mishchenko Robert Brayton University of California, Berkeley.
Electrical and Computer Engineering Archana Rengaraj ABC Logic Synthesis basics ECE 667 Synthesis and Verification of Digital Systems Spring 2011.

Electrical and Computer Engineering Archana Rengaraj ABC Logic Synthesis basics ECE 667 Synthesis and Verification of Digital Systems Spring 2011.
Combinational Problems: Unate Covering, Binate Covering, Graph Coloring and Maximum Cliques Example of application: Decomposition.

Combinational Problems: Unate Covering, Binate Covering, Graph Coloring and Maximum Cliques Example of application: Decomposition.
Combinational and Sequential Mapping with Priority Cuts Alan Mishchenko Sungmin Cho Satrajit Chatterjee Robert Brayton UC Berkeley.

Combinational and Sequential Mapping with Priority Cuts Alan Mishchenko Sungmin Cho Satrajit Chatterjee Robert Brayton UC Berkeley.
ABC: A System for Sequential Synthesis and Verification BVSRC Berkeley Verification and Synthesis Research Center Robert Brayton, Niklas Een, Alan Mishchenko,

ABC: A System for Sequential Synthesis and Verification BVSRC Berkeley Verification and Synthesis Research Center Robert Brayton, Niklas Een, Alan Mishchenko,
Section 2 CHAPTER 10. PROTEIN SYNTHESIS IN PROKARYOTES Both prokaryotic and eukaryotic cells are able to regulate which genes are expressed and which.

Section 2 CHAPTER 10. PROTEIN SYNTHESIS IN PROKARYOTES Both prokaryotic and eukaryotic cells are able to regulate which genes are expressed and which.

Similar presentations

Ads by Google