Skip to content

formal-fault-injection-related TBG improvements

Matteo Lupi requested to merge ML_tbg into master

Description of the changes

  • Cleanup of tbg output for formal FI
  • Added 2 parameters for tbg: testbench-name (close #74) and dut-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)
Edited by Matteo Lupi

Merge request reports