曹皖林: 形式化技术及其应用
- Speaker
- 曹皖林
- Affiliation
- 美国德州农工大学
- Date
- Time
- – Asia/Shanghai
- Venue
- 518, Research Building 4
Abstract
软硬件系统开发包括不断地进行优化和验证，形式化方法在这个过程中被广泛应用。本讲座结合芯片开发过程中的最常见逻辑表达方式和分析手段，介绍形式化技术。具体包括以下内容：
– 设计的网表表达
– BDD 及其应用
– 逻辑的计算与近似
– 实例：低功耗优化
– 讨论：布尔代数、NP问题、抽象及计算
Speaker Bio
曹皖林，美国Texas A&M 大学博士，合见工业软件集团 fellow。
研究兴趣包括：形式化方法，EDA与FPGA工具开发。