Boolean functions; Databases; Concrete; Context; Circuit faults; Digital circuits; Manganese;
机译:在布尔函数系统的基础上基于{&,v,〜-}合成易于测试的电路
机译:智能系统中数字集成电路合成中布尔函数的复杂性
机译:综合不完全指定的多输出布尔函数的多级多路复用器电路,并映射到基于多路复用器的FPGA
机译:基于CEGAR的BOOLEAN函数的EF合成,应用到电路整流
机译:使用功能仿真和布尔可满足性对数字电路进行综合和验证。
机译:勘误表:反馈电路的功能组合决定了类似路径的布尔网络中吸引子的数量和大小
机译:布尔函数的函数驱动线性无关展开及其在可逆电路综合中的应用
机译:逻辑电路综合中布尔函数的部分对称性