...
机译:布尔可满足性在开关级电路验证和测试中的应用
Digital circuits; Design verification; Testing; Boolean satisfiability; Switch level;
机译:布尔可满足性在开关级电路验证和测试中的应用
机译:CMOS电路的开关级时序验证:一种半解析方法
机译:同步布尔电路的可靠性算法
机译:基于布尔可满足性的近似电路测试图生成
机译:使用功能仿真和布尔可满足性对数字电路进行综合和验证。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:使用布尔可满足性确定可逆电路的最小测试集
机译:mOs电路开关电平验证的快速方法