Netlist Checker#809

Merged

behzadmehmood merged 26 commits intomainfrom

netlist_checker

Oct 18, 2024

Commits on Oct 2, 2024

Commits on Oct 7, 2024

Commits on Oct 15, 2024

Commits on Oct 16, 2024

Adding tests and checks for I_SERDES output and O_SERDES input data signals
behzadmehmood
committed
Adding tests ans checks for O_DDR control signals and removing outdated tests
behzadmehmood
committed
Merge branch 'main' of github.com:os-fpga/yosys_verific_rs into netlist_checker
behzadmehmood
committed

Commits on Oct 18, 2024