????????????????·???????????????????????????????“?????????·??????????”???????????????????????????????????????????????????????????????????????·???????????????????????????,?????????????????????????????????о?????IMEC????2016??5??9-11?????????????“???????IC??????——????????????”??????????????????????????????????Ρ?ACM Fellow??IEEE Fellow??????????Giovanni De Micheli??????Ρ?

???????????????????????????????·????????????????????????????????????γ?????????????????????????????????????????????????γ?????????????????·?????????

???????λ
??????????????????????
???????????о??????IMEC??

????Э??λ
??????????????????????
??????ü????·??????????о?????
???????

?????μ????

???γ??????????????о???????????У?????????????????????????????????????????о??????????γ??????????Σ??????????????????????????????

??????????

??????2016??5??9-11???3??

????????????

???????????????￥2??

???????????????????????????????????????????????о??????IMEC???????飬?μ???????????μ????“?????????·??????????”?????

?塢???????

?????λ??????????????????μ??????????????2016??5??7?????д????????????????????wangyi@memsconsulting.com??????????????????????????????+?????????+??λ????+??????

?????????
?????????
?? ????18217468860
E-mail??wangyi@memsconsulting.com

?????γ???

?????γ???????????????????Synopsys??????????????????????

1. Modeling languages and specification formalisms

????????淶?????

2. High-level synthesis and optimization methods (scheduling, binding, data-path and control synthesis)

?????????????????????????????·??????????)

3. Representation and optimization of combinational logic functions (encoding problems, binary decision diagrams)

???????????????????????????????????

4. Representation and optimization of multiple-level networks (algebraic and Boolean methods, "don't care" set computation, timing verification and optimization)

???????????????????????????????"don't care" set?????????????????

5. Modeling and optimization of sequential functions and networks (retiming)

??????????磨???????????????

6. Semicustom libraries and library binding

????????

????????

Giovanni De Micheli ???·???•???????

??????????????????????????????????

ACM Fellow??IEEE Fellow??????????

Giovanni De Micheli??????????????????????????????????????????????Ρ?????Nano-Tera.ch???????????????????????????????????????????????????1980???1983???ü???????????????????У?????????????????????????λ??

De Micheli??????ACM Fellow??IEEE Fellow?????????????????о?????????????·???????????????????????????????ɡ?????????3D???ɡ????????????????????????????????????????????????????????????????????鼮???????·??????????, McGraw-Hill, 1994?????????????а???????鼮????? 600 ????????????????????????????????? h-index??84????????IMEC??CfAED ???????幫????????????????

De Micheli????????????????????????????????????????????2012 IEEE/CAS Mac Van ValkenburgAward?????????????????????????????????? 2003 ?? IEEE Emanuel Piore Award????2000???????IEEE CAS Society??????????????Golden Jubilee Medal??1987???? IEEE Transactions on CAD/ICAS???D. Pederson Award?????????????????????м?????????????????DAC (1983???1993??), DATE (2005??) and Nanoarch (2010???2012??)??

???? IEEE ?е????????Division 1?????Σ?2008-2009????IEEE Council on EDA?????????????????2005-2007????IEEE CAS Society ?????2003 ????IEEE Transactions on CAD/ICAS????1997-2001?????????????????δ??????????????Memocode (2014??) ??DATE??2010????pHealth ??2006????VLSI SOC??2006 ????DAC ??2000???? ICCD??1989 ????