add walkthrough polymorphism

diff --git a/simple_v_extension/specification.mdwn b/simple_v_extension/specification.mdwn
index 68effb7e48664dc917b19b672df1f1bfad85fc83..f9c687fa01f579b53feb533ca0236575e9ef92d7 100644 (file)
--- a/simple_v_extension/specification.mdwn
+++ b/simple_v_extension/specification.mdwn
@@ -1447,6 +1447,16 @@ Example SIMD micro-architectural implementation:
 This requires a read on rd, however this is required anyway in order
 to support non-zeroing mode.
 
+## Specific instruction walk-throughs
+
+This section covers walk-throughs of the above-outlined procedure
+for converting standard RISC-V scalar arithmetic operations to
+polymorphic widths, to ensure that it is correct.
+
+### add
+
+TODO
+
 # Exceptions
 
 TODO: expand.  Exceptions may occur at any time, in any given underlying