...
机译:智能系统中数字集成电路合成中布尔函数的复杂性
机译:布尔电路的开关活动和具有渐近最优复杂度和线性开关活动的布尔电路的合成
机译:关于实现布尔函数的布尔立方体电路中嵌入的复杂性和深度
机译:在布尔函数系统的基础上基于{&,v,〜-}合成易于测试的电路
机译:通过布尔函数的符号频谱分析预测组合电路的功能复杂性
机译:使用功能仿真和布尔可满足性对数字电路进行综合和验证。
机译:微流控气动逻辑电路和数字微处理器的气动综合微流体系统
机译:基于布尔补充方法的集成检查电路合成,具有操作功能信号的初步压缩
机译:逻辑电路综合中布尔函数的部分对称性