用于评估电路的算法的实现

use*_*944 5 algorithm

考虑电路评估的问题,其中输入是布尔电路C和输入字符串x,并且您想要计算C(x).(如果你愿意的话,假设粉丝2.)

这在算法上是一个"微不足道"的问题,但是当C可能很大(想想数百万门)并且内存管理成为一个问题时,实现它似乎并非易事.

有几种方法可以解决这个问题,权衡内存,时间和光盘访问.但在我自己完成所有这些工作之前,有没有人知道这个问题的任何现有算法实现?如果不存在,我会感到惊讶......

sle*_*man 1

对于C/C++,十多年来标准的数字电路设计和仿真系统是SystemC

它是一个允许您用 C++ 设计数字逻辑的库。有一些支持软件可以让您进行时序分析,甚至可以为 C 代码生成原理图网表。

在决定使用 Verilog 更舒服之前,我只玩过一点。但它是一个成熟的软件,有很多行业支持。谷歌搜索会产生大量信息,包括几个教程页面。