文件名称：适合RM逻辑实现的逻辑搜索和拆分算法 (2012年)
文件大小：577KB
文件格式：PDF
更新时间：2024-05-16 18:45:03
工程技术 论文
针对以往算法在搜索适合Reed-Muller（RM）逻辑实现的逻辑子覆盖中存在的不足，提出基于不相交乘积项的搜索方法。该方法通过将逻辑函数转化为不相交乘积项的集合，并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果，将逻辑函数拆分成二部分，使之分别适合RM逻辑实现和传统布尔逻辑实现。提出的算法用C编程实现，并用MCNC电路测试。实验结果表明，相比于以往的方法，提出的算法能够有效扩大搜索范围，并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点。