从一个具体问题出发，理解 EROFS 的设计目标、分层架构，以及为什么它把不可变镜像、内联数据和透明压缩放进同一个格式。

详细解释 Bluespec SystemVerilog 的 package、interface、method、ActionValue、rule、guard、类型类、tagged union、Vector 与调度语法。

从 Scala 与 Chisel 的阶段边界出发，详解类型、连接、条件、寄存器、Bundle、Vec、存储器、接口、参数化和验证语法。

系统梳理 Verilog 与 SystemVerilog 的字面量、位宽、四态值、赋值、过程块、数组、参数化、generate、接口、函数任务和断言语法。

深入学习 BSV 的类型类、结构化数据、ActionValue、规则冲突、接口组合、参数化和时钟复位语法。

继续学习 Verilog 和 SystemVerilog 的类型、位宽、表达式、参数、generate、数组、接口组织与可综合 RTL 细节。

从零开始学习 Bluespec SystemVerilog，理解 interface、method、rule、寄存器和规则调度，并用计数器和 FIFO 认识 BSV 的基本写法。

从零开始学习 Verilog，理解模块、信号、组合逻辑、时序逻辑、数组和有限状态机，并用一个简单计数器建立 RTL 思维。