技术特点
- 垂直复用性:不同验证层次,包括模块IP级、子系统级、以及SoC系统级验证。
- 水平复用性:不同验证项目跨平台使用,软件仿真,EMU,FPGA,硅后测试等。
- 不同验证环境,例如cache子系统验证、pcie子系统验证,uart IP验证等。
本系列用例将以平头哥开源的openc910构建测试用例,针对uart做建模,涉及模块IP级,子系统级,和SOC系统级验证,以体现模型的垂直复用性特点。
1. 数字IC验证 - Portable Stimulus Standard(PSS) Uart IP级测试用例
2. 数字IC验证 - Portable Stimulus Standard(PSS) 子系统级测试用例
3. 数字IC验证 - Portable Stimulus Standard(PSS) SoC系统级测试用例
本系列用例还包括针对arm64架构和riscv的4K页表建模,以及cache coherency的基本建模。
1. 数字IC验证 - Portable Stimulus Standard(PSS) arm64 4K页表建模测试用例
2. 数字IC验证 - Portable Stimulus Standard(PSS) cache coherency测试用例