第二章 逻辑代数与硬件描述语言基出(康华光)..pptVIP

2.3.4 逻辑功能的仿真与测试 逻辑电路的设计块完成后，就要测试这个设计块描述的逻辑功能是否正确。为此必须在输入端口加入测试信号，而从其输出端口检测其结果是否正确，这一过程常称为搭建测试平台。根据仿真软件的不同，搭建测试平台的方法也不同。 * 2.2 逻辑代数基础 →化简方法→卡诺图的画法 ⑤ 五变量 25 = 32 2.2 逻辑代数基础 →化简方法→卡诺图的画法 (2) 卡诺图的性质 ① n变量，2n个小方格 。每个小方格放入一个最小项。 ②相邻性 ：两个最小项除一变量取值互补外，其它变量均相同。 (3)用卡诺图化简逻辑函数的步骤和方法 方法：将函数中包含的最小项在卡诺图中填1，没有的项填0，最后得函数卡诺图。 1用卡诺图表示逻辑函数 2.2 逻辑代数基础 →化简方法→卡诺图的画法 方法：将函数中包含的最小项在卡诺图中填1，没有的项填0，最后得函数卡诺图。 2已知函数真值表画卡诺图 函数值为0或1，直接填入对应方格中 2.2 逻辑代数基础 →化简方法→圈图原则 3 圈卡诺图 圈卡诺图的原则 ①小方格可重复包围，但每圈一次定要有新方格圈入。 图1 2.2 逻辑代数基础 →化简方法→圈图原则 ②每个包围圈必须是最大圈（才能化最简式）。 图2中F3不是最大圈。F3应包围m1、m3 、 m9、m11四个最小项。 2.2 逻辑代数基础 →化简方法→圈图原则 ③ 包围圈应是必要圈