Updated assertions in mult_sva to factor in halt_i and kill_i in the …
Created by: silabs-oysteink
…antecedent. Previously these were factored in via valid_i.
Created by: silabs-oysteink
…antecedent. Previously these were factored in via valid_i.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent