1. Chapter 4 OPTIMIZED IMPLEMENTATION OF LOGIC FUNCTIONS 优化

2. Karnaugh Maps 卡诺图 There is another way to simplify the sum of products Use sum of products from the truth table Plot the results on a grid called a Karnaugh Map Identify groups

3. 4.2 质蕴涵项和覆盖 (POS)p152 蕴涵项 (implicant) 是一个和项，它能覆盖 一个函数的一些最大项。 质蕴涵项 (prime mplicant) 是一个不被该函 数的任何其它蕴涵项覆盖的和项。 实质蕴涵项 (essential prime implicant) 是 一个至少包含一个不能被任何其它然任 何质蕴涵项覆盖。

4. 一组蕴涵项被称为函数的一个覆盖 (Cover) ，如 果函数的每个最大项至少被该组内的蕴涵项覆 盖。 最小覆盖是一个包含最少的质蕴涵项和最少的符 号的覆盖。

5. 产生和选择质蕴涵项 1. 计算出卡诺图中每个最大项的相邻单元个数。 2. 选择没有被包含的具有最小相邻数的最大项。 如果存在多个选择可能，任意选择一种。 3. 生成这个最大项的一个质蕴涵项并将它放入 覆盖中。如果这个最大项被其它多个质蕴涵项 覆盖，选择一个覆盖最多没有被覆盖最大项的 质蕴涵项。 4. 重复 2-3 步，直到覆盖所有的最大项。

6. CUBICAL REPRESENTATION 立方体式描述 CUBEs 立方体 HYPERCUBES 超立方体

7. MINIMIZATION Star operation *“star product” intersection Sharp operation A#B:Part of A that is not covered by B.

8. Practical Consideration Heuristic 启发式

9. Three companies Cadence Design Systems Mentor Graphics Synopsys Synopsys 公司作为业界顶级的 EDA 软件供应商， 于 2002 年 6 月 6 日正式购并 Avant! 后的新的 Synopsys 公司后，已经将 IC 设计领域最好的前 端工具和后端工具成功的结合在一起。