[VLSI CAD] kbdd - MiniSAT - Espresso - SIS？

当您参加 EDA 或 VLSI CAD 课程时，您会突然接触到这些工具：

• kbdd
• MiniSAT
• Espresso
• SIS

起初，它们似乎都大同小异："这不都是逻辑表达式吗？"
"我们在实践中会用到它吗？"

底线是，这些都是来自 "芯片拟合世界 "的工具。

许多数字 EDA 工具（如逻辑合成和 DFT）都使用了这些基本概念。

1.全貌：本课的真正主题

本课的核心是 如何使用布尔函数。

"这个逻辑电路在数学上有意义吗？"

我们使用三种不同的方法来做到这一点：

"这个逻辑电路在数学上有意义吗？