IP专项实践说明.md
SoC V2.0 — IP 专项实践说明（QSPI / ISP / PINMUX）
母本根：
/project/SOC2.0/
这些目录与soc/同级，用于 IP 级仿真或 Formal；官网串讲视频与 PDF（QSPI 协议与环境、ISP 环境、PINMUX Formal、DMA 等）可与本文对照。
1. 总览
| 专项 | 只读路径 | 主要内容 | 上手入口 |
|---|---|---|---|
| QSPI | /project/SOC2.0/QSPI |
rtl/、tb/、sim/ |
QSPI/read_me → sim/ 下 make |
| ISP | /project/SOC2.0/ISP |
rtl/、tb/、sim/、cmodel/ |
ISP/sim/Makefile |
| PINMUX | /project/SOC2.0/PINMUX |
rtl/、FPV/（含 assertion、solution） |
Formal / FPV 流程（见串讲与 PDF） |
复制示例：
cd /home/USER/cxjl_practice
cp -a /project/SOC2.0/QSPI ./SOC2.0_QSPI_my
cp -a /project/SOC2.0/ISP ./SOC2.0_ISP_my
cp -a /project/SOC2.0/PINMUX ./SOC2.0_PINMUX_my
2. QSPI
母本 QSPI/read_me 要点：
- 进入仿真目录：
cd sim - 编译：
make comp - 运行：
make run_{test_name}（具体test_name以sim/下已有目录 / Makefile 目标为准）
sim/ 中可见如 dut.f、tb.f、Makefile、以及若干已建好的测试工作目录（如 qspi_abnormal_length_test 等）。
实践建议：
- 先零改动跑通母本推荐流程，存 log。
- 对照官网 PDF《QSPI 协议及 Testplan》《QSPI 验证环境介绍》与视频理解激励与检查点。
- 再在副本中做一处定向改动（长度异常、时序边界等），不要同时改 RTL + TB + 用例三者。
3. ISP
目录结构概要：
rtl/：ISP 相关 RTLtb/：验证平台sim/：仿真 Makefile、filelist（dut.f/tb.f）、用例工作区（如isp_demosaic）cmodel/：参考模型与输入输出文本（如isp_input.txt、result_*.txt）
实践建议：
- 明确「RTL 输出 vs cmodel 黄金结果」的比对方式（以 TB / 脚本为准）。
- 基线：固定一组输入，保存比对通过的 log。
- 官网《ISP 验证环境介绍》PDF / 视频用于建立环境心智模型。
4. PINMUX 与 Formal（FPV）
PINMUX/rtl/：管脚复用相关 RTLPINMUX/FPV/：形式验证相关树（含assertion、solution等）
实践建议：
- 先搞清 PINMUX 在 SoC 中的挂载与寄存器/选择逻辑（可结合 SoC 顶层与 PDF《PINMUX 及 Formal 介绍》）。
- Formal 流程依赖工具与 license，按串讲与
FPV内实际脚本执行；勿假设与 VCS 功能仿完全同一套命令。 - 产出物建议包括：属性列表摘要、通过/失败属性、复现命令。
5. 与 soc/ 主工程如何选题
| 目标 | 建议路径 |
|---|---|
| 系统集成与软件通路 | 以 /project/SOC2.0/soc 为主（UART/SPI/DMA/isp_test 等） |
| 协议 / IP 级验证深度 | 选 QSPI 或 ISP 独立包 |
| 形式化 / 属性验证体验 | PINMUX FPV |
| 求职叙事 | 「V2.0 基线 + 一个增量专题（DMA 或 QSPI 或 Formal）」比「到处点一点」更清晰 |
6. 配套官网媒体（PDF / 视频）
项目详情页已挂载的配套 PDF 与视频标题包括（不完全列表）：
- SOC 验证的系统介绍 / SOC 验证环境介绍
- QSPI 协议及 Testplan、QSPI 验证环境
- ISP 验证环境
- UART/I2C、AHB/APB、DMA、PINMUX Formal、RISC-V 介绍
- SoC 寄存器列表、Coverage Report 等
站内 Markdown（本文档集）负责路径与操作事实；PDF/视频负责专题展开。两者一起用效率最高。