基于可满足性的缺陷容错 CMOL 单元分配
离散数学
2007-05-31 v1 数据结构与算法
摘要
我们为 CMOL（一种 CMOS/分子混合电路架构）提出了一个 CAD 框架。该框架首先将任何基于 AND/OR/NOT 门逻辑综合出的电路转换为 NOR 门电路，然后将 NOR 门映射到 CMOL。我们将 CMOL 单元分配问题编码为布尔条件：当且仅当存在将所有 NOR 门映射到 CMOL 单元的方法时，布尔约束才是可满足的。我们进一步研究了 CMOL 架构中各种类型的静态缺陷，并提出了一种可通过我们的 CAD 框架处理这些缺陷的重配置技术。这是首个用于 CMOL 单元分配的自动化框架，也是首个对多种不同 CMOL 静态缺陷进行建模的框架。实验结果表明，我们的方法高效且具有可扩展性。
引用
@article{arxiv.0705.4320,
title = {Defect-Tolerant CMOL Cell Assignment via Satisfiability},
author = {William N. N. Hung and Changjian Gao and Xiaoyu Song and Dan Hammerstrom},
journal= {arXiv preprint arXiv:0705.4320},
year = {2007}
}
评论
To appear in Nanoelectronic Devices for Defense and Security (NANO-DDS), Crystal City, Virginia, June 2007