From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 30 Oct 2020 15:38:57 +0000 (+0000)
Subject: add clock switch resource
X-Git-Tag: convert-csv-opcode-to-binary~1902
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ed220abe60400b1d169fa1d14d2cb6832c5708a2;p=libreriscv.git

add clock switch resource
---

diff --git a/resources.mdwn b/resources.mdwn
index 448b7d2ec..2e3e9065f 100644
--- a/resources.mdwn
+++ b/resources.mdwn
@@ -355,6 +355,8 @@ Some learning resources I found in the community:
   <https://arxiv.org/pdf/1803.06185.pdf>
 * OpenPOWER Foundation Membership
   <https://openpowerfoundation.org/membership/how-to-join/membership-kit-9-27-16-4/>
+* Clock switching (and formal verification)
+  <https://zipcpu.com/formal/2018/05/31/clkswitch.html>
 
 
 # Real/Physical Projects