umenthum·vor 6 Jahren·discussPCNT instruction is in the proposed bit manipulation extension of RISC-V. https://github.com/riscv/riscv-bitmanip/blob/master/bitmanip...
umenthum·vor 6 Jahren·discussI 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...
umenthum·vor 6 Jahren·discussWe'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.[0] https://youtu.be/1rfBK5KKzR0