[console_scripts]
svgap = svgap.cli:main

[svgap.backends]
equivalence-yosys = svgap.backends.equivalence_yosys:EquivalenceYosysBackend
formal-yosys = svgap.backends.formal_yosys:FormalYosysBackend
lint-verible = svgap.backends.lint_verible:VeribleLintBackend
lint-verilator = svgap.backends.lint_verilator:VerilatorLintBackend
reference-naja = svgap.backends.reference_naja:ReferenceNajaBackend
reference-yosys = svgap.backends.reference_yosys:ReferenceYosysBackend
