diff --git a/.gitignore b/.gitignore index ef351b194..f21fdf680 100644 --- a/.gitignore +++ b/.gitignore @@ -18,3 +18,9 @@ TAGS /build /Bender.lock /Bender.local +golden.src +revised.src +cadence_conformal +golden_reference_design +synopsys_formality +questa_autocheck diff --git a/docs/source/instruction_set_extensions.rst b/docs/source/instruction_set_extensions.rst index c7becb7f3..de3dc3ea8 100644 --- a/docs/source/instruction_set_extensions.rst +++ b/docs/source/instruction_set_extensions.rst @@ -788,12 +788,16 @@ General ALU operations | | else if rs1 >=rs2, rD = rs2, | | | | | | else rD = rs1 | + | | | + | | Note: rs2 is unsigned. | +-------------------------------------------+------------------------------------------------------------------------+ | **cv.clipur rD, rs1, rs2** | if rs1 <= 0, rD = 0, | | | | | | else if rs1 >= rs2, rD = rs2, | | | | | | else rD = rs1 | + | | | + | | Note: rs2 is unsigned. | +-------------------------------------------+------------------------------------------------------------------------+ | **cv.addN rD, rs1, rs2, Is3** | rD = (rs1 + rs2) >>> Is3 | | | |