Skip to content

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.