From ed220abe60400b1d169fa1d14d2cb6832c5708a2 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 30 Oct 2020 15:38:57 +0000
Subject: [PATCH] add clock switch resource

---
 resources.mdwn | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
2.30.2