use*_*996 3 boolean-logic boolean circuit boolean-expression
我试图用 39 个输入和大约 5 亿 - 8 亿个术语(如许多 and/not/or 语句中那样)来简化布尔表达式。
\n\n不需要完美的简化,但如果有一个好的简化就更好了。
\n\n我知道 K-maps、Quine\xe2\x80\x93McCluskey、Espresso算法。然而,我也意识到,根据我所读到的内容,这些机制需要很长时间才能简化这种规模的电路。
\n\n我需要在 24 小时内尽可能简化这个表达式。
\n\n经过谷歌搜索后,我发现很难找到任何资源来尝试简化如此规模的机器!是否有任何资源或图书馆可以尝试在 24 小时内至少在某种程度上简化此操作?
\n在有点过时的书中描述了贪婪启发式简化
Robert K. Brayton、Gary D. Hachtel、C. McMullen、Alberto Sangiovanni-Vincentelli 用于 VLSI 综合的逻辑最小化算法
您可以在线找到该章节。
Simplify基于unate 范式。在分而治之的风格中,它递归地应用香农 展开定理将函数拆分为更小的子函数。启发式规则是首先按最二元变量进行分割,即分隔最多项的变量。
第二种方法可能是使用METIS等图形分区工具将术语拆分为独立(或至少松散相关)的子集。但我不知道这已经在逻辑综合任务中成功尝试过。我最喜欢的搜索引擎是持怀疑态度的,不会返回任何点击。
Olivier Coudert:将两级逻辑最小化速度提高 100 倍
本文列出的示例包含大量与您手头的任务相似的术语。
模型检查背景下的扫描算法研究中描述了一种有点相关的简化技术BDD 扫描。