在理论上,逻辑综合工具,保*第一网表是合乎逻辑相当于RTL源代码。
代数拓扑方法用于逻辑综合得到最小覆盖,为了避免可能出现冒险,需要进行冒险问题的讨论。
选拔算法是两级逻辑综合中求解最小化覆盖的经典方法之一,但在输出变量*和质立方体*规模较大的情况下,采用选拔法求最小化覆盖存在空间复杂度高、求解时间长等问题。
在理论上,逻辑综合工具,保*第一网表是合乎逻辑相当于RTL源代码。
代数拓扑方法用于逻辑综合得到最小覆盖,为了避免可能出现冒险,需要进行冒险问题的讨论。
选拔算法是两级逻辑综合中求解最小化覆盖的经典方法之一,但在输出变量*和质立方体*规模较大的情况下,采用选拔法求最小化覆盖存在空间复杂度高、求解时间长等问题。