逻辑自动综合中控制部分的优化一般是在布尔方程确定之后进行。
Optimization in automatic logic synthesis is usually done after the Boolean equations are set up.
本文阐明将硬件逻辑翻译器产生的布尔方程集合划分成子集后，转换成多维体列阵。
This paper describes the partitioning of the set pf the Boolean equations generated by the hardware logic translator and the conversion of the subset into cube arrays.
我们在本文中给出了布尔方程(包括一元及多元布尔方程蛆和布尔不等式方程组)的一种通用解法。
This article presents a general method to solve Boolean equations (or inequality) or system of simultaneous equations of an unknown or any number of unknowns.
然后，基于具有门限变量的布尔方程和有序二分决策图方法(OBDD)，给出计算k -终端网络可靠度算法。
And then using Boolean equations containing gate variables and means of OBDD, an efficient algorithm for computing the K-terminal reliability of a network is also proposed.
然后，基于具有门限变量的布尔方程和有序二分决策图方法(OBDD)，给出计算k -终端网络可靠度算法。
And then using Boolean equations containing gate variables and means of OBDD, an efficient algorithm for computing the K-terminal reliability of a network is also proposed.
应用推荐