关于

你好，我是 sqlmap3 👋

一名 IC 验证工程师（Chip Verification Engineer），专注于芯片功能验证领域。

关于我

• 从事 ASIC / SoC 功能验证相关工作
• 熟悉 UVM（通用验证方法学） 与 SystemVerilog
• 常用工具：VCS / Verdi / gvim
• 关注验证方法学、验证平台搭建、测试点分解与覆盖率收敛

这个博客

主要记录我在验证工作中积累的技术笔记，包括：

• UVM：sequence、phase 机制、monitor、TLM、调试技巧等
• SystemVerilog：语言特性、宏使用
• 验证方法：测试点分解、Common 分解、checklist
• 工具：VCS 配置、gvim 技巧

希望这些笔记能帮助到同样在验证领域探索的同行。

我的站点

• 博客：sqlmaps.com（本博客）
• 服务状态：NodeWarden
• 图床：img.sqlmaps.com

联系我

• GitHub：sqlmap3

WaveDrom 时序图支持

本博客支持 WaveDrom 时序图，例如：

{ signal: [
  { name: "clk",  wave: "p......." },
  { name: "req",  wave: "010....." },
  { name: "ack",  wave: "0.10...." },
  { name: "data", wave: "x.3x4.x.", data: ["A", "B"] }
]}

Mermaid 图表支持

本博客支持 Mermaid 图表，例如：

flowchart LR
    A[写文章] --> B{有图?}
    B -->|时序图| C[WaveDrom]
    B -->|流程图/类图| D[Mermaid]
    B -->|复杂交互图| E[PlantUML]
    C --> F[发布到博客]
    D --> F
    E --> F

sequenceDiagram
    participant V as 验证工程师
    participant TB as Testbench
    participant D as DUT
    V->>TB: 搭建验证环境
    TB->>D: 施加激励
    D-->>TB: 响应输出
    TB-->>V: 比对结果
    V-->>V: 覆盖率收敛?

数学公式支持

行内公式 $E = mc^2$，独立公式：

$$
\frac{d}{dx} x^n = nx^{n-1}
$$

PlantUML 时序图支持