📘 RTLA 核心语法速通
30章 · 从入门到实战
✨ 友好色系
01
RTLA语言概述
起源与设计哲学 · 对比 · 核心优势 · 环境搭建
02
词法结构
注释 · 标识符 · 关键字 · 运算符 · 字面量
03
数据类型
基本类型 · 复合类型 · 类型别名 · 转换规则
04
模块与端口
module声明 · 端口方向 · 端口类型 · 参数化
05
组合逻辑
assign · always_comb · 条件运算符 · case
06
时序逻辑
always_ff · 边沿触发 · 同步/异步复位 · 寄存器推断
07
有限状态机(FSM)
状态编码 · 三段式 · Moore/Mealy · 模板
08
存储器建模
单/双端口RAM · ROM · FIFO · 初始化
09
接口与总线
interface · modport · clocking · AXI-lite
10
生成语句
generate for/if/case · 参数化加法器
11
函数与任务
function/task · 纯组合/时序 · automatic递归
12
断言(Assertion)
立即断言 · SVA · cover · assume
13
覆盖率
covergroup · coverpoint/bins · cross · 选项
14
随机化
rand/randc · constraint · solve...before · randomize
15
面向对象编程
class · 继承 · 多态 · 封装
16
包与命名空间
package · import · $unit · 避免冲突
17
预处理与宏
`define · `include · `ifdef · `timescale
18
系统函数与任务
$display/$monitor · $time · 文件I/O · $random
19
层次化设计
实例化 · 数组实例化 · generate · bind
20
参数化与可配置设计
parameter/localparam · defparam · 配置库
21
时钟域交叉(CDC)
同步器 · 握手 · 异步FIFO · 格雷码
22
低功耗设计
时钟门控 · 电源门控 · 多电压域 · UPF
23
可综合设计风格
可综合/不可综合 · full_case · 资源估算
24
验证方法学(UVM基础)
UVM树 · uvm_component/object · sequence · factory
25
形式化验证基础
property · assume guarantee · BMC
26
仿真调试技巧
波形(VCD/FSDB) · $dumpvars · 断言调试 · 性能
27
代码风格与规范
命名规范 · 文件组织 · 注释 · lint
28
常见错误与陷阱
组合反馈 · 锁存器 · 仿真综合不匹配 · 竞争
29
工具链与流程
编译器 · 仿真器 · 综合 · 形式化工具
30
实战项目
UART · SPI · RISC-V核心 · 文档交付