colin
/
Hazard3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Don't apply shifter assertions to rotates

This commit is contained in:
Luke Wren 2021-12-06 18:12:23 +00:00
parent ac9285846f
commit 0b3629564c
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
hdl/arith/hazard3_shift_barrel.v
View File

@ -61,11 +61,11 @@ end
`ifdef FORMAL
always @ (*) begin
if (right_nleft && arith) begin: asr
if (right_nleft && arith && !rotate) begin: asr
assert($signed(dout) == $signed(din) >>> $signed(shamt));
end else if (right_nleft && !arith) begin
end else if (right_nleft && !arith && !rotate) begin
assert(dout == din >> shamt);
end else if (!right_nleft && !arith) begin
end else if (!right_nleft && !arith && !rotate) begin
assert(dout == din << shamt);
end
end