yosys/frontends
Emil J 13795203a1
Merge pull request #5680 from YosysHQ/emi/aiger-add-bounds-checks
aigerparse: add some bounds checks
2026-02-20 11:53:49 +01:00
..
aiger aigerparse: sanity-check AIGER header 2026-02-11 11:46:17 +00:00
aiger2
ast verilog: Do not set `module_not_derived` on internal cells 2026-01-19 16:48:13 -08:00
blif blifparse: add bounds check 2026-02-11 12:16:02 +01:00
json Support param. default values in JSON FE and SV BE 2026-02-11 08:10:55 -08:00
liberty
rpc
rtlil
verific Guard vhdl_file::UNDEFINED behind VERIFIC_VHDL_SUPPORT. 2026-02-02 15:26:03 -08:00
verilog