netlist_carpentry.scripts

Script that may be used in certain use cases, mainly dynamically generated.

Modules:

• equivalence_checking –

  Module for handling equivalence checks with Yosys EQY.

• script_builder –

  Module for generation and execution of synthesis scripts with Yosys, creating generic JSON netlists.

• script_caller –