Viewing profile — umenthum

PCNT instruction is in the proposed bit manipulation extension of RISC-V. https://github.com/riscv/riscv-bitmanip/blob/master/bitmanip...

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 thin…

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 …