umenthum
Re:Computer Search Settles 90-Year-Old Math Problem
on Thursday August 20, 2020 @11:46AM (#24224451)
I highly recommend Software Foundations Volume 1: Logical Foundations as an introduction to theorem proving in Coq. Try working through the first few chapters and see what you think: https://softwarefoundations.cis.upenn.edu/lf-current/toc.htm...
Re:Open source process design kit for usage with SkyWater Foundry's 13...
on Tuesday June 16, 2020 @11:38AM (#23540426)
We've had OpenPDK for some time. Check out the ISCA2020 presentation on OpenROAD[0], they mention that they use OpenPDK but the last piece of the puzzle is an open source standard cell library.