Espresso算法相关论文
提出了一个两级逻辑优化的新算法 .与通过函数质蕴涵集求解覆盖的传统算法不同 ,文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结......
可逆逻辑电路是仅包含可逆运算的新型电路，可以根除源于信息损失的能耗和发热，是研究和实现超低功耗集成电路、量子计算机以及信息安......
随着电子计算机及其相关技术的发展，计算机辅助设计(CAD)和电子设计自动化(EDA)正在全世界范围内兴起。 高级综合是在逻辑综合的......
