From: Claire Wolf Date: Fri, 3 Apr 2020 13:18:52 +0000 (+0200) Subject: Fix typo X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d18656084c66506f5822484a63a8fd0b0fc39e55;p=SymbiYosys.git Fix typo Signed-off-by: Claire Wolf --- diff --git a/docs/examples/abstract/README.md b/docs/examples/abstract/README.md index b13f74c..b1c04c5 100644 --- a/docs/examples/abstract/README.md +++ b/docs/examples/abstract/README.md @@ -10,7 +10,7 @@ This can be solved by replacing counter with the abstraction in `abstr.sv`. In order to do this we must first prove that the abstraction is correct. This is done with `sby -f abstr.sby`. -Then we apply the abstriction by assuming what we have just proven and otherwise +Then we apply the abstraction by assuming what we have just proven and otherwise turn `counter` into a cutpoint. See `props.sby` for details. Running `sby -f props.sby prv` proves the properties and `sby -f props.sby cvr`