ESL建模加速RTL验证实用方法

📚 共计 30 章节

ESL建模概述

什么是ESL建模 · ESL与RTL的关系 · 核心价值

系统级设计语言选择

SystemC · TLM · Python 应用对比

事务级建模基础

TLM-2.0核心 · 接口与套接字 · 通用事务对象

构建第一个ESL模型

CPU模型 · 总线模型 · 存储器模型搭建

虚拟平台搭建

多ESL模型集成 · 可运行虚拟平台

ESL模型与RTL的混合仿真

SC-HDL协同仿真 · DLL封装技术

验证场景的ESL化

复杂验证场景的ESL表达

覆盖率驱动的ESL验证

功能覆盖率 · 代码覆盖率收集

覆盖率度量

断言在ESL中的应用

SystemC断言 · 事务级断言技巧

ESL模型的调试技术

波形调试 · 日志分析 · 断点设置

性能建模与瓶颈分析

系统吞吐量 · 延迟评估

功耗感知的ESL建模

功耗状态机 · 估算与优化

功耗低功耗

ESL模型的重用策略

可重用ESL组件库设计

从ESL到RTL的代码生成

高层次综合(HLS)与ESL衔接

基于ESL的验证计划制定

系统级视角规划验证任务

ESL模型的随机化测试

约束随机测试在ESL中的实现

形式化验证与ESL的结合

使用ESL模型进行属性检查

形式化属性

ESL模型的回归测试

自动化回归框架搭建与维护

回归自动化

多核系统的ESL建模

一致性协议 · 互连网络建模

多核一致性

异构计算系统的ESL建模

CPU+GPU+加速器协同建模

异构加速器

ESL模型的精度控制

近似模型 → 精确周期级模型演进

基于ESL的软件提前开发

硬件就绪前进行固件/驱动验证

ESL模型的版本管理

Git与ESL模型库最佳实践

ESL模型的性能优化

并行仿真 · 事件驱动优化技巧

基于ESL的调试与可观测性设计

插入探针与监控点

可观测探针

ESL模型与验证IP的集成

商业VIP接入ESL环境

基于ESL的故障注入测试

模拟硬件故障 · 验证容错机制

ESL模型的文档化与标准化

IP-XACT与ESL模型交互

实际案例：AI加速器

ESL建模与RTL验证全流程

敏捷硬件开发 · 开源芯片生态