add clock switch resource

diff --git a/resources.mdwn b/resources.mdwn
index 448b7d2ec663b69fd613380253522cc6b0f6e9c2..2e3e9065f43b85e88bac6700d8948a6cb3928480 100644 (file)
--- 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