Skip to main content
QUICK REVIEW

[论文解读] fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits

Marcel Walter, Robert Wille|arXiv (Cornell University)|May 7, 2019
Quantum-Dot Cellular Automata参考文献 7被引用 23
一句话总结

该论文提出 fiction,一个用于场耦合纳米计算(FCN)电路(如QCA和NML)的自动化物理设计与工艺映射的开源C++框架。它采用高效的基于网格的数据结构,并与现有的逻辑综合工具集成,通过可配置的算法(如基于SMT的精确算法和启发式正交算法)实现可扩展、可扩展的版图生成,支持基准测试、脚本化操作和仿真工具(如QCADesigner)就绪的输出。

ABSTRACT

As a class of emerging post-CMOS technologies, Field-coupled Nanocomputing (FCN) devices promise computation with tremendously low energy dissipation. Even though ground breaking advances in several physical implementations like Quantum-dot Cellular Automata (QCA) or Nanomagnet Logic (NML) have been made in the last couple of years, design automation for FCN is still in its infancy and often still relies on manual labor. In this paper, we present an open source framework called fiction for physical design and technology mapping of FCN circuits. Its efficient data structures, state-of-the-art algorithms, and extensibility provide a basis for future research in the community.

研究动机与目标

  • 解决场耦合纳米计算(FCN)技术(如QCA和NML)缺乏自动化设计流程的问题。
  • 提供一个可扩展、可扩展且开源的框架,用于FCN电路的物理设计与工艺映射。
  • 在特定领域约束(如时钟方案、布线和同步)下实现高效的版图生成。
  • 支持基准测试、脚本化操作以及与现有逻辑综合工具(如ABC)的集成。
  • 通过可扩展的数据结构和算法,为未来FCN设计自动化研究提供基础。

提出的方法

  • 该框架基于Boost的grid_graph构建基于模块的门级抽象,实现高效的内存使用和拓扑分离。
  • 支持两种主要的版图算法:'精确'(基于SMT,最小面积,可配置约束)和'正交'(启发式,快速,固定时钟方案)。
  • 通过使用QCA-ONE等库,技术映射步骤将门级版图映射为物理单元级实现。
  • 系统与EPFL逻辑综合库集成,并通过基于存储的命令行接口(alice)支持命令行和脚本工作流。
  • 时钟方案(如4相USE)以紧凑模板形式存储,并在版图中扩展,以减少内存开销。
  • 该框架支持直接构建基于单元的版图,并支持同步元件和多线缆模块。

实验结果

研究问题

  • RQ1如何设计一个自动化且可扩展的框架,以支持场耦合纳米计算电路的物理设计?
  • RQ2哪些数据结构和算法能够在FCN特定约束(如时钟和布线)下实现高效的版图生成?
  • RQ3如何将现有逻辑综合工具集成到新型FCN设计流程中,以减少人工工作量?
  • RQ4基于SMT的算法与启发式方法在统一框架中可共存到何种程度,用于FCN版图设计?
  • RQ5开源工具如何支持新兴FCN技术中的可重现基准测试和仿真就绪输出?

主要发现

  • fiction框架成功实现了基于SMT的精确算法和启发式正交算法的自动化FCN电路物理设计。
  • 使用Boost的grid_graph数据结构,实现了对大规模FCN版图的内存高效表示,且开销极低。
  • 该框架通过QCA-ONE库支持向物理单元级版图的技术映射,生成QCADesigner可用的仿真就绪输出。
  • 基准测试和脚本功能使用户能够系统性地生成统计数据并比较不同设计配置。
  • 该框架的可扩展性允许开发人员通过标准C++接口和命令扩展实现新算法(如朴素随机布局)。
  • 该框架证明了将逻辑综合(通过ABC)与FCN特定的物理设计集成的可行性,形成完整且自动化的设计流程。

更好的研究,从现在开始

从论文设计到论文写作,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。