Skip to content

Update config integration#57

Merged
tdbesson merged 18 commits intomainfrom
update_config_integration
Oct 16, 2025
Merged

Update config integration#57
tdbesson merged 18 commits intomainfrom
update_config_integration

Conversation

@gigeresk
Copy link
Copy Markdown
Contributor

@gigeresk gigeresk commented Oct 15, 2025

  • Load cell models from config file
  • Add unit testing for config-based/hardcoded part equivalency, and for abs/rel paths
    - Deprecate ff_models field
    - Add notion of "illegal final state cells" from config file to throw an error if intermediate techmap cells are still present at the end of synth, and move current MAE techmap fail error to end of synth

@gigeresk gigeresk marked this pull request as ready for review October 15, 2025 20:43
@gigeresk gigeresk requested a review from tdbesson October 15, 2025 20:43
@gigeresk gigeresk requested a review from gadfort October 15, 2025 21:21
@tdbesson tdbesson merged commit d79f064 into main Oct 16, 2025
12 checks passed
@tdbesson tdbesson deleted the update_config_integration branch October 16, 2025 07:09
Copy link
Copy Markdown
Contributor

@gadfort gadfort left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are some remaining items to fix @gigeresk but it's been merged, so you will need to do those fixes in a different PR.

Comment on lines +7 to +8
"models": {
},
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

probably makes sense to have a test that includes the models to ensure this behavior is properly implemented at this time.

endmodule
EOF

synth_fpga -partname z1000
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

test says z1010, but partname does not match

Comment on lines +29 to +30
select -assert-count 9 */t:dffr
select -assert-count 11 */t:$lut
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

might be good to add some log assertions to ensure the z1010 name is kept from the start of the flow though the end of flow

endmodule
EOF

synth_fpga -config data/z1000/z1000_abspath.json -show_config
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same about log assertions

@tdbesson
Copy link
Copy Markdown
Collaborator

@gigeresk Fred, BTW, please can you update the README part where the config file usage is explained and add the last features you just added with and example ? Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants