diff options
| author | Jeremy Johnson <jeremy.johnson@arm.com> | 2021-09-06 12:04:07 +0100 |
|---|---|---|
| committer | Jeremy Johnson <jeremy.johnson@arm.com> | 2021-09-14 15:30:30 +0100 |
| commit | 9034747c223cd5ab53148ec40aaf64765fcd6531 (patch) | |
| tree | bb1887ea1837c36e238a4a29b95080282666470e /verif | |
| parent | b724efc086b77b59944e9a69eecb260a3d3d2f26 (diff) | |
| download | reference_model-9034747c223cd5ab53148ec40aaf64765fcd6531.tar.gz | |
Add saturation REQUIREs for ADD,SUB,MUL,INTDIV
Change-Id: I358fbd4c958e057687f25d585eb8fdd80fd9ae42
Signed-off-by: Jeremy Johnson <jeremy.johnson@arm.com>
Diffstat (limited to 'verif')
0 files changed, 0 insertions, 0 deletions