- 标题
- 摘要
- 关键词
- 实验方案
- 产品
-
25-Gb/s高输出功率激光调制EML
摘要: 本文提出了一种用于布尔函数的新型规范表示形式——双条件二进制决策图(BBDD)。BBDD是一种二进制决策图,其分支条件及其相关逻辑展开基于两个变量的双条件关系。通过约简和排序规则的优化,BBDD对布尔函数具有显著的紧凑性和唯一性。这种表示形式在现代电子设计自动化(EDA)中具有双重价值:一方面,BBDD能提升基于决策图的传统EDA任务效率,尤其适用于算术密集型设计;另一方面,BBDD为新兴技术提供了天然的原生设计抽象——在这些技术中,电路基本单元是比较器而非简单开关。本文通过研究BBDD的基础理论和操作特性,为其奠定了坚实的理论基础。借助高效的BBDD软件包实现,我们验证了:1)相比其他决策图,在传统应用中提速最高达4.4倍;2)在新兴技术电路综合中,关键路径比现有最先进技术缩短约32%。
关键词: 双条件连接词、设计方法与工具、典范性、决策图、纳米电路
更新于2025-09-23 15:19:57
-
[IEEE 2019年光子学北美会议(PN) - 加拿大魁北克市(2019.5.21-2019.5.23)] 2019光子学北美会议(PN) - 用于全光纤激光器开发的飞秒激光写入光纤光栅组件
摘要: 本文提出一种范式转变:仅使用多数(MAJ)与反相(INV)函数作为基本操作来表示和优化逻辑。我们通过多数反相图(MIG)表示逻辑函数——这是一种由三输入多数节点及常规/补码边构成的有向无环图。基于完全采用多数与反相操作的布尔代数(本文对其进行了形式化公理化),我们实现了MIG的优化。作为MIG代数优化的补充,我们开发了利用MIG全局特性(如位错误掩蔽)的强大布尔方法。MIG代数与布尔方法相结合可达到极高的优化质量。在IWLS'05基准测试集上,相较于类似的与或非图(AIG)优化,我们的MIG优化器(MIGhty)使ABC映射的LUT-6电路深度降低7%,同时减小规模并降低功耗活动。针对算术密集型基准测试,MIGhty在ABC映射的LUT-6电路中实现16%的深度降低(同样对比类似AIG优化)。作为延迟关键型22纳米专用集成电路流程(逻辑综合+物理设计)的前端工具,MIGhty在31个学术与工业基准测试中分别实现平均延迟/面积/功耗降低13%/4%/3%。在商用FPGA流程中也验证了10%/10%/5%的延迟/面积/功耗改进。
关键词: 优化、设计方法与工具、有向无环图(DAG)、多数逻辑、布尔代数、逻辑综合
更新于2025-09-19 17:13:59