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

Question

考虑电路评估问题，其中输入是 bool 电路 C 和输入字符串 x，您想要计算 C(x)。 (如果愿意，假设扇入 2。)

这在算法上是一个“微不足道”的问题，但是当 C 可能很大(想想几百万个门)并且内存管理成为一个问题时，实现它似乎并不微不足道。

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

Answer 1

对于C/C++，现在10多年的标准数字电路设计与仿真系统是SystemC .

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

在决定我对 Verilog 更熟悉之前，我只使用了它一点。但它是一款成熟的软件，拥有众多行业支持。谷歌搜索将产生大量信息，包括几个教程页面。