Mitchell Merritt 分布式死锁检测算法

本文介绍了 Mitchell Merritt 分布式死锁检测算法。

自动机理论 • 有限状态机

本章介绍最为常见的有限状态机以及其可以识别的语言类——正规语言。

自动机理论 • 基本概念

本文搜集了自动机理论中的一点基本概念,以备后续学习过程中参考。

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

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

自动逻辑综合原理 • 组合逻辑与 LUT 的最简单的综合

看到有人单枪匹马写 Verilog 综合器我真的羡慕了,于是我稍微探索了下自动逻辑综合的原理。

macOS 用户也要玩 FPGA!

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

RoCC RISC-V 扩展方案

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

内联汇编 cheatsheet

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

Hack RISC-V 指令集

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

Haskell与函数式编程

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