问答题

　第1题
　在逻辑综合中，锐积运算应用较广。请使用锐积实现下述运算（写出算法，并对所用符号加以说明）：
　（1） 判断覆盖A与覆盖B是否等价。
　（2） 求多输出布尔函数的质立方体集合。


　第2题　＃＃＃
　用VHDL写出时钟同步的8位计数器的行为描述。
　输入控制信号的功能说明如下：
　(1) Reset：异步清零信号，低电平有效。
　(2) Clock：同步时钟，正跳变触发。
　(3) Enable：计数使能控制，高电平有效。即：
　　　Enable = '1'时，计数器正常计数，由时钟同步。
　　　Enable = '0'时， 计数器维持原状态不变。
　(4) Load：加载控制，高电平有效。当Load = '1'时，计数器在同步时钟clock作用下接 受来自Data[1:8]的数据。
　**控制信号的优先级： 高 低
　　　　　　　　　　　　　　　Reset, Load, Enable



　第3题
　说明VHDL中的函数名（以及运算符）重载的含义及应用。请利用重载运算符 "-" 写出一个16位减法器的VHDL行为描述（可利用IEEE库中的程序包std_unsigned或 std_signed）。


　第4题＃＃＃　
　下图为一个电路图及其输入波形，其元件的延迟模型及延迟时间分别给定如附表。用时间映射事件驱动算法求出每种情形下各点波形，波形图上应注明波形发生时刻。设初始时刻电路已处于稳定状态。

　第5题###
　使用立方体运算对下面的电路作如下操作：
　（1） 求出与布尔函数m( a, b, c, d, e )对应的覆盖M。
　（2） 用布尔差分法分别求出故障b _s-a-0 的测试集T₀和故障b _s-a-1的测试集T₁ 。
　提醒注意：以上运算必须用立方体运算，不能是手工公式推导。