3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-17 10:33:52 +00:00
yosys/frontends
Emil J 0ab967b036
Merge pull request #5564 from rocallahan/pass-fuzz
Add support for fuzz-test comparison of two passes intended to give identical RTLIL results
2026-01-06 20:07:31 +01:00
..
aiger
aiger2
ast Merge pull request #5550 from YosysHQ/nak/dont_merge_properties 2025-12-22 16:54:43 +01:00
blif Forbid creating IdStrings and incrementing autoidx during multithreaded phases, and add dynamic checks for that 2025-11-25 21:57:46 +00:00
json
liberty
rpc
rtlil Add -legalize option to read_rtlil 2025-12-21 21:47:48 +00:00
verific avoid merging formal properties 2025-12-17 20:25:24 +01:00
verilog