考虑电路评估的问题，其中输入是 bool 电路C和输入字符串x，并且您要计算C(x)。 (如果需要，假设扇入2。)
从算法上讲这是一个“琐碎的”问题，但是当C可能很大(想想几百万个门)并且内存管理成为一个问题时，实现起来似乎并不简单。
有几种方法可以解决此问题，需要权衡内存，时间和光盘访问权限。但是，在我自己完成所有这些工作之前，是否有人知道针对此问题的现有算法实现？如果不存在，这将令我感到惊讶。
最佳答案
对于C/C++，十多年来的标准数字电路设计和仿真系统为SystemC。
它是一个库，可让您使用C++设计数字逻辑。有支持软件，使您可以进行时序分析，甚至生成C代码的原理图网表。
在决定让我更熟悉Verilog之前，我只玩了一点。但这是一款成熟的软件，具有许多行业支持。到处搜寻会产生很多信息，包括几个教程页面。