[Libre-soc-dev] asynchronous clock selection and formal verification

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri Oct 30 15:54:18 GMT 2020


dan's articles are always informative:
https://zipcpu.com/formal/2018/05/31/clkswitch.html

this diagram i find funny because it's an SR NAND latch that's been
modified to be Cross-Domain-Clock synchronised!
https://zipcpu.com/img/clock-switch.svg

l.

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68



More information about the Libre-soc-dev mailing list