Given that servo_micro is a reimplementation of an older design which already has a netlist output, we should put that old output in a test/ folder and do a diff compared to what we ouput.
This output being correct would be a huge benefit as an integration test for a big portion of the project.
Barring small differences (normalization, ANON_NETS, header at the top) there shouldn't be much of a difference.
Given that servo_micro is a reimplementation of an older design which already has a netlist output, we should put that old output in a test/ folder and do a diff compared to what we ouput.
This output being correct would be a huge benefit as an integration test for a big portion of the project.
Barring small differences (normalization, ANON_NETS, header at the top) there shouldn't be much of a difference.