From ff633ed2baa6091fc3b1d4decf6ee28ab7b003cb Mon Sep 17 00:00:00 2001 From: Michael Maloney Date: Thu, 28 Mar 2024 08:58:54 -0700 Subject: [PATCH] Clarify that the convention for `bits` is that the LSB is bit 0 while the MSB is width-1. (#200) --- spec.md | 1 + 1 file changed, 1 insertion(+) diff --git a/spec.md b/spec.md index a414db3e..2c960796 100644 --- a/spec.md +++ b/spec.md @@ -3832,6 +3832,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 is one less than the width of the argument. ## Head