|
aiger
|
aigerparse: sanity-check AIGER header
|
2026-02-11 11:46:17 +00: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 |
|
rtlil
|
Add -legalize option to read_rtlil
|
2025-12-21 21:47:48 +00:00 |