对称逻辑综合与相位分配
摘要：将n个二进制输入的任意布尔函数BF_n分解为对称布尔函数SF_k（k≤n）的最优反相耦合网络。每个SF组件由阈值逻辑单元实现，形成完整且紧凑的T-Cell库。输入极性的最优相位分配最大化了局部对称性。"等级谱"是一个独立于输入顺序的新BF_n描述，通过将其秦项映射到一个正交的n×n网格的（晶体管）可切换导电路径上获取，从而最小化硅面上的交叉点。使用该正交网格结构来布局SF_k单元，而无需映射到T-Cell，可以更好地利用SF中的最大逻辑路径共享，提高区域效率。基于这些概念的优化工具"Ortolog"用于快速检测和增强BF_n的O(n^2)局部对称性，并报告了相关结果。概述了将对称布尔函数放松为平面布尔函数，以提高低对称性BF分解。
作者：N.F. Benschop
论文ID：math/0104153
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23