YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388 stars 73 forks source link

Add parser changes needed for the SBY "stages" functionality #209

Closed lethalbit closed 2 years ago

lethalbit commented 2 years ago

This PR adds changes to the the configuration parser to add support for the [stages] and [setup] sections as well as the modification of the [engines] section in order to support the implementation of the "stages" functionality in the future.

At the moment the configuration changes are undocumented, as they only produce an error when used, as the functionality behind them will be a separate PR due to the fairly high complexity and need to alter a fair deal of the SBY internals.