Multiplier SVAs valid/ready update (!132) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/silabs-robin/mult_sva into master Jul 05, 2021

Created by: silabs-robin

Formal regression was failing, so I took the opportunity to fix the multiplier SVAs that appear outdated after valid/ready handshaking was introduced. Three things are changed: 1) "s_insistent_valid" replaces antecedent of input stability assertions, 2) "a_check_result_constant" was similarly updated, 3) a_check_acc_mul_value_zero was qualified with valid_i.

NB! This needs review before merging. (doesn't seem like uarch multiplier section reflects latest changes?)

Question: Should we deal with those 2 TODOs too?

Multiplier SVAs valid/ready update

Merge request reports