2016-2022 All Rights Reserved.平安財經(jīng)網(wǎng).復(fù)制必究 聯(lián)系QQ 備案號:
本站除標明“本站原創(chuàng)”外所有信息均轉(zhuǎn)載自互聯(lián)網(wǎng) 版權(quán)歸原作者所有。
郵箱:toplearningteam#gmail.com (請將#換成@)
大家好,吳為民,關(guān)于吳為民的簡介很多人還不知道,現(xiàn)在讓我們一起來看看吧!
1、吳為民,男,1966年8月生,博士,副教授。
2、研究方向:數(shù)字系統(tǒng)設(shè)計自動化,嵌入式系統(tǒng),形式驗證。
3、主要研究興趣:數(shù)字系統(tǒng)的設(shè)計方法學(xué)。
4、包括:1. 嵌入式系統(tǒng)的軟/硬件協(xié)同設(shè)計技術(shù),2. 系統(tǒng)芯片(SOC)的設(shè)計、驗證、及測試技術(shù)。
5、3. VLSI的劃分、布局、布線、及綜合技術(shù)。
6、4. 形式驗證技術(shù),包括可滿足性(SAT)求解和基于SAT的模型檢驗技術(shù)。
7、5. 與以上技術(shù)相關(guān)聯(lián)的圖論算法、搜索算法、及優(yōu)化算法。
本文關(guān)于吳為民的簡介就講解完畢,希望對大家有所幫助。
2016-2022 All Rights Reserved.平安財經(jīng)網(wǎng).復(fù)制必究 聯(lián)系QQ 備案號:
本站除標明“本站原創(chuàng)”外所有信息均轉(zhuǎn)載自互聯(lián)網(wǎng) 版權(quán)歸原作者所有。
郵箱:toplearningteam#gmail.com (請將#換成@)