formal-fault-injection-related TBG improvements
Description of the changes
- Cleanup of
tbg
output for formal FI - Added 2 parameters for
tbg
:testbench-name
(close #74) anddut-name
- Moved ifdef to improve usability with FI (close #73)
- Edited verilog elaborator to avoid logging errors (demoted to info) when
allowMissingModules=True
- Testcases for the above
Check-list
-
Make sure that a changelog entry is present -
Label the MR according to the content -
If this MR has a dependency on another MR, specify the order in which the MRs should be merged -
If the MR is done, please mark it as such by using the ~"Done - awaits merge" label, else mark it as "Draft: " by adding the prefix to the title -
Designate a reviewer for this MR once done
Reviewer check-list
-
Make sure that the title describes the changes in the merge request -
Make sure that the description of the changes is relevant and it describes all the changes -
Make sure that the changelog entry is consistent with the changes. If the first release on top was released, then make sure that a new running release is created incrementing the minor index (the version is in the format major.minor.patch
)