吳為民（關于吳為民的簡介）

2022-07-17 13:29:56 編輯：顏紹康來源：

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

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

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

2、研究方向：數(shù)字系統(tǒng)設計自動化，嵌入式系統(tǒng)，形式驗證。

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

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

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

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

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

本文關于吳為民的簡介就講解完畢，希望對大家有所幫助。

標簽：

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

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

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