From f9e5723f87c8b6c0989b9c6bc1098da0f3d566e1 Mon Sep 17 00:00:00 2001 From: Matthieu Baty Date: Mon, 15 Jul 2024 19:07:38 +0200 Subject: [PATCH] [patch] Fix multiply operation description (#220) --- spec.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spec.md b/spec.md index 22fe2b8f..c234fd53 100644 --- a/spec.md +++ b/spec.md @@ -3660,10 +3660,10 @@ The subtract operation result is e2 subtracted from e1, without loss of precisio ## Multiply Operation -| Name | Arguments | Parameters | Arg Types | Result Type | Result Width | -|------|-------------|------------|-------------|-------------|--------------| -| mul | (e1,e2) | () | (UInt,UInt) | UInt | w~e1~+w~e2~ | -| | (SInt,SInt) | SInt | w~e1~+w~e2~ | | | +| Name | Arguments | Parameters | Arg Types | Result Type | Result Width | +|------|-----------|------------|-------------|-------------|--------------| +| mul | (e1,e2) | () | (UInt,UInt) | UInt | w~e1~+w~e2~ | +| | | | (SInt,SInt) | SInt | w~e1~+w~e2~ | The multiply operation result is the product of e1 and e2, without loss of precision.