lancret's starred repositories
Integrated-Circuit-Textbooks
Collect some IC textbooks for learning.
Computer-Science-Textbooks
Collect some CS textbooks for learning.
A-Primer-on-Memory-Consistency-and-Cache-Coherence
A Primer on Memory Consistency and Cache Coherence (Second Edition) 翻译计划
riscv-formal
RISC-V Formal Verification Framework
uvm-tutorial-for-candy-lovers
Source code repo for UVM Tutorial for Candy Lovers
kactus2dev
Kactus2 is a graphical EDA tool based on the IP-XACT standard.
SystemVerilogReference
training labs and examples