数字 IC 设计

本组文章按设计对象分为三类。

RTL 与形式验证

介绍 SystemVerilog Assertion 的时序表达，以及从环境约束、断言到覆盖率的功能形式验证方法。

数据编码与矩阵计算

介绍 CRC、汉明码、游程编码的能力范围，以及将卷积转换为 GEMM 时的 im2col 数据布局。

RISC-V 处理器架构

介绍整数寄存器与 ABI、CSR 与 trap 处理、Zve32x 嵌入式整数向量扩展，以及 F 单精度浮点扩展。