From 350855293f6380c220e75fdf7b0fbd4a8088603d Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Sun, 1 May 2022 11:13:25 +0100 Subject: [PATCH] cross-reference to symbiyosys in README, mentioning that Formal Correctness Proofs may be written and run from nmigen --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index aac1e0c..60b870f 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,8 @@ and elegant designs. Other nMigen libraries are built on FHDL and provide various tools and logic cores. nMigen also contains a simulator that allows test benches -to be written in Python. +to be written in Python, and writing and running Formal Correctness Proofs +in nMigen are also supported, using [Symbiyosys][]. See the [docs/](docs/) folder for more technical information. @@ -49,6 +50,7 @@ The development of nMigen has been supported by [M-Labs][] and [yosys]: https://yosyshq.net/yosys/ [m-labs]: https://m-labs.hk [lambdaconcept]: http://lambdaconcept.com/ +[symbiyosys]: https://symbiyosys.readthedocs.io/ ### HLS? -- 2.30.2