From 857a0ac36e8d3e03851eacd56db66a19eb1d1077 Mon Sep 17 00:00:00 2001 From: Michael Maloney Date: Tue, 26 Mar 2024 22:42:47 -0700 Subject: [PATCH] Clarify that the convention for `bits` is that the LSB is bit 0 while the MSB is width-1. --- spec.md | 1 + 1 file changed, 1 insertion(+) diff --git a/spec.md b/spec.md index 6ddd0e1f..dddf049e 100644 --- a/spec.md +++ b/spec.md @@ -3833,6 +3833,7 @@ The result of the concatenate operation is the bits of e1 concatenated to the mo The result of the bit extraction operation are the bits of e between lo (inclusive) and hi (inclusive). hi must be greater than or equal to lo. Both hi and lo must be non-negative and strictly less than the bit width of e. +The index of the least significant bit is 0 and the index of the most significant bit as one less than the width of the argument. ## Head