[patch] Add "as-if" language to layers

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@sifive.com>
chipsalliance · Feb 12, 2024 · c6bab1a · c6bab1a
1 parent 774cc11
commit c6bab1a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/spec.md b/spec.md
@@ -233,6 +233,7 @@ The types of intrinsic module parameters may only be literal integers or string
 ## Layers
 
 Layers are collections of functionality which will not be present in all executions of a circuit.
+When a layer is enabled, the FIRRTL circuit behaves *as-if* all the optional functionality of that layer was executed.
 Layers are intended to be used to keep verification, debugging, or other collateral, not relevant to the operation of the circuit, in a separate area.
 Each layer can then be optionally included in the resulting design.