吳為民（關(guān)于吳為民的簡(jiǎn)介）

2022-07-17 13:29:56 編輯：顏紹康來(lái)源：

導(dǎo)讀大家好，吳為民，關(guān)于吳為民的簡(jiǎn)介很多人還不知道，現(xiàn)在讓我們一起來(lái)看看吧！1、吳為民，男，1966年8月生，博士，副教授。2、研究方向：數(shù)

大家好，吳為民，關(guān)于吳為民的簡(jiǎn)介很多人還不知道，現(xiàn)在讓我們一起來(lái)看看吧！

1、吳為民，男，1966年8月生，博士，副教授。

2、研究方向：數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化，嵌入式系統(tǒng)，形式驗(yàn)證。

3、主要研究興趣：數(shù)字系統(tǒng)的設(shè)計(jì)方法學(xué)。

4、包括：1. 嵌入式系統(tǒng)的軟/硬件協(xié)同設(shè)計(jì)技術(shù)，2. 系統(tǒng)芯片（SOC)的設(shè)計(jì)、驗(yàn)證、及測(cè)試技術(shù)。

5、3. VLSI的劃分、布局、布線、及綜合技術(shù)。

6、4. 形式驗(yàn)證技術(shù)，包括可滿足性（SAT）求解和基于SAT的模型檢驗(yàn)技術(shù)。

7、5. 與以上技術(shù)相關(guān)聯(lián)的圖論算法、搜索算法、及優(yōu)化算法。

本文關(guān)于吳為民的簡(jiǎn)介就講解完畢，希望對(duì)大家有所幫助。

標(biāo)簽：

免責(zé)聲明：本文由用戶上傳，如有侵權(quán)請(qǐng)聯(lián)系刪除！

本站除標(biāo)明“本站原創(chuàng)”外所有信息均轉(zhuǎn)載自互聯(lián)網(wǎng) 版權(quán)歸原作者所有。

郵箱：toplearningteam#gmail.com (請(qǐng)將#換成@)