cb289e1432
- 实现了LoadQueueRAR的完整验证环境 - 包含18个测试用例，100%通过率 - 支持多流水线并发验证和违例检测 - 建立了自动化测试和报告生成流程 - 提供完整的文档和使用指南 主要组件： - RTL设计文件和接口定义 - 基于Python的DUT模拟实现 - pytest测试框架和用例 - 自动化构建和测试脚本 - HTML测试报告生成 - 详细的技术文档 技术栈： - Picker + Verilator (RTL仿真) - Python + pytest (测试框架) - toffee (验证框架) - HTML + Markdown (文档和报告) |
||
|---|---|---|
| picker@0b1e3554fb | ||
| reports | ||
| rtl | ||
| scripts/mem_block_lsq_load_queue_rar | ||
| tests | ||
| .gitignore | ||
| create_mock_dut.py | ||