• macOS 用户也要玩 FPGA!

    以前玩 Xilinx 家的 FPGA,被迫装了个 Windows (我 Ubuntu 都跑不了那个 ISE,据说要红帽才行),现在入了一块 iCESugar-Pro,能用上这个开源工具链了,试了一下 macOS 上也能装起来,那我爽了 😊

    RoCC RISC-V 扩展方案

    本文将介绍 RISC-V 的 RoCC 加速器扩展方案。

    内联汇编 cheatsheet

    内联汇编的一万种输入输出寄存器方式我永远也记不住啊😭

    Hack RISC-V 指令集

    本文将介绍在2021年如何向 RISC-V 指令集里加客制指令,并在相关工具链中添加相关的支持。

    重新开始学数学 • 数理逻辑(2)

    欲练PLT神功,必先学好数学,而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录谓词逻辑相关内容

    重新开始学数学 • 数理逻辑(1)

    欲练PLT神功,必先学好数学,而其中最重要的一个分支即为数理逻辑。现在我在看 LOGIC IN COMPUTER SCIENCE 来重新学习离散数学里学过一丁点的数理逻辑……本章记录最简单的命题逻辑相关内容

    分布式系统 • 时钟

    分布式系统中使用的时钟算法。

    Parsing • LR(0)分析

    这个 LR(0) 分析涉及的东西爆炸多,理解起来也不太容易,希望本文可以把同学们讲懂。

    Parsing • 移进-归约分析

    本文讲述了自底而上的文法分析中最为常用的移进-归约分析分析法。

    Parsing • LL(1)文法的分析,以及First集和Follow集究竟是什么

    课上这个First集和Follow集出现地非常之突兀,好像突然就有这样一个东西了,本文试图讲解清楚First和Follow集究竟是什么,以及为什么我们需要它。