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

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

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

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

函数式编程是近几年新兴的一种编程的思维方式，而 Haskell 作为一门纯函数式编程语言，可以极大的帮助一个程序员学会用函数式思维方式思考。

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

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

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

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

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