diff options
| author | Jack Koenig | 2021-12-17 22:40:46 -0800 |
|---|---|---|
| committer | GitHub | 2021-12-18 01:40:46 -0500 |
| commit | c00a4ebb0608f9ef98729e9b610a2678be2bc4fd (patch) | |
| tree | 7fdd84481327225d2320a3f6f23320e7cb13faa6 /fuzzer | |
| parent | 57ce615d73995a29f89c2f9b11482fe80442439b (diff) | |
Fix width of signed addition when input to mux (#2440)
Fix bugs related to arithmetic ops inlined into a mux leg. Add formal
equivalence checks to lock in this behavior.
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>
Diffstat (limited to 'fuzzer')
0 files changed, 0 insertions, 0 deletions