Download Presentation

Applied Logic & Computation in System Design - An invitation to A L C om Lab

62 Views

Download Presentation
## Applied Logic & Computation in System Design - An invitation to A L C om Lab

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -

**Applied Logic & Computation in System Design- An invitation**to ALComLab Jie-Hong R. Jiang 江介宏 DEE/GIEE National Taiwan University**About ALComLab**• Founded in August 2005 • Caring about solving a good problem cleverly • We are cooking a pleasant research environment and a culture of creativity • Regular boardgame nights • Puzzle solving • Focus/study groups • … • Aiming high and identifying a niche**New blood wanted!**• We desperately eager for talented students joining us to claim challenging and exciting research projects • Yes, you are one of the talents!**Where are we heading?**Verification Optimization Foundations**Challenges**• Verification • 60-80% design time is spent on verification • 3-to-1 head count ratio between verification engineers and logic designers • Optimization • Stringent design constraints on power/timing/yield, etc. • Foundations • Design beyond silicon? New models of computation?**Equivalence verification**Algorithm ? Architecture 1 (e.g. synchronous) Architecture 2 (e.g. asynchronous) ? = register-transfer level ? = ? = gate level 1 gate level 2**?**x ? z = xy y x ? y x-1 ? + y Property verification • Identify invariants • Apply induction Ex. • + 2 + … + n n + n-1 + … + 1 + Ex.**Synthesis & optimization**Existing IP I O X**More info**• Contact me at jhjiang@cc.ee.ntu.edu.tw • Consult webpage at http://alcom.ee.ntu.edu.tw http://cc.ee.ntu.edu.tw/~jhjiang