基于sv的网络处理验证平台
该验证平台基于 VMM 架构, 采用 Syste mVer ilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言 ( SVA), 将两者结合起来, 能够快速、 准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能...
XL-SV技术资料下载专区,收录22份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
该验证平台基于 VMM 架构, 采用 Syste mVer ilog语言编写所需的验证组件和功能覆盖率代码,并在设计代码中插入断言 ( SVA), 将两者结合起来, 能够快速、 准确的定位出网络处理器在执行过程中发生的错误,有效对其进行功能...
Information in this document is provided in connection with Intel products. No license, express or i
xl系列单片机实验仪演示程序 LCD1602 移动显示。 显示方式: 1、LCD第一行显示: ilove 8051 mcu ,LCD第二行显示:13714407535; 2、先将两行字符写入DDRAM中,然后从右至左逐字移出显示。 ...
标题: xl系列单片机实验仪演示程序PWM 控制 LED 灯渐亮渐灭程序 * * 文件: xlledkz.asm * * 日期: 2006-1-5 *
xl系列单片机实验仪演示程序 DS18B20温度控制数码管 。 DS18B20温度控制数码管显示 : 1、K3 → 进入设定温度报警值 TL 状态: L--20 2、K3 → 进入设定温度报警值 TH 状态: H--28 ...
WPAN国际标准IEEE802.15发布的信道模型的MATLAB源码。包括几种室内和室外模型。都是基于改进的SV模型。应用在短距离超宽带UWB无线通信中。