Implementation of algorithms for circuit estimation

Question

Consider the problem of evaluating a circuit where the input is logic C and the input string x, and you want to compute C (x). (Assume if you want to use fan 2 if you want).

This is a “trivial” problem algorithmically, but it seems non-trivial to implement when C can be huge (I think several million gates) and memory management becomes a problem.

This problem can be approached in several ways, getting rid of access to memory, time and disk access. But before going through all this work yourself, does anyone know of any existing algorithm implementations for this problem? I would be surprised if there weren’t ...

Answer 1

For C / C ++, a standard digital circuit and simulation system for more than 10 years SystemC .

This is a library that allows you to create digital logic in C ++. There is supporting software that allows you to analyze time and even generate a schematic list of connections for C code.

I just played around with it a bit before deciding which Verilogue was more convenient for me. But this is a mature piece of software with a lot of industry support. Googling will have a lot of information around, including several tutorial pages.

Answer 2

, ? ( ), , , .