Zeeh-Lin

摘要： 本文是一份针对 Windows 11 25H2 用户的 WSL2 IC 开发环境 搭建指南。通过选用兼容性更佳的 CentOS 7，详细演示了如何避开 glibc 陷阱，成功运行 Synopsys VCS、Verdi 等主流 EDA 工具。内容包含 CentOS 7 停服后的软件源修复技巧、32 位兼容库安装以及针对 WSL2 内核的环境变量优化。 阅读全文

摘要： auipc指令在NEMU中的执行过程 阅读全文

摘要： Proofs are very powerful and are in some ways like computer programs. Indeed, there is a deep historic link between these two concepts that we will touch upon in this course — the invention of computers is intimately tied to the exploration of the idea of a mathematical proof about a century ago. 阅读全文

摘要： 有趣的命题 在note1中，提出了两个关于“至少”和“至多”的命题： There are at least three distinct integers x that satisfy P(x). 有 最多 三个不同的整数x这满足p（x）。 对于这两个命题，可以分别用下面两个式子表达： $ \exi 阅读全文

摘要： 记录了学习 “一生一芯” 时（更确切地说是学习 “Learn C The Hard Way” 时）遇到的 LIST_FOREACH 链表遍历宏。该宏的精髓在于使用 V 和 _node 双指针机制，以确保即使在复杂场景下（如用户误改指针），循环的健壮性和遍历的正确性也不会被破坏。 阅读全文

摘要： 背景 也是鸟枪换炮，用上服务器了。 使用 Win 11 系统的PC远程连接 Ubuntu 20.04 系统的服务器。服务器上没有配置代理，无法连接 GitHub。需要配置服务器使用PC的代理。我本地使用 *** Verge 进行代理。 找到一篇博客解决这个问题，记录一下过程。 解决方案 参考这篇 阅读全文

摘要： 记录一次git pull速度慢的解决过程，防止日后不记得改了什么 阅读全文