Speaker:

曹皖林（美国德州农工大学）

Time:

• 10:20-11:20 (Time in Beijing)
• November 17, 2023 (Friday)

Venue:

518, Research Building 4

Abstract:

软硬件系统开发包括不断地进行优化和验证，形式化方法在这个过程中被广泛应用。本讲座结合芯片开发过程中的最常见逻辑表达方式和分析手段，介绍形式化技术。具体包括以下内容：
– 设计的网表表达
– BDD 及其应用
– 逻辑的计算与近似
– 实例：低功耗优化
– 讨论：布尔代数、NP问题、抽象及计算

Speaker Bio:

曹皖林，美国Texas A&M 大学博士，合见工业软件集团 fellow。
研究兴趣包括：形式化方法，EDA与FPGA工具开发。