logicoptimization 相关硕士博士期刊学术论文

提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢＤＤ表达形式，然后用切换单元为替换ＦＢＤＤ中的节点，以形成易测的......