在S0c设计中，传统功能验证方法已显示出其缺点，主要问题有：复杂验证场景难以构建；边缘情况难以覆盖。针对这些问题，业界提出了一种新的功能验证方法学——受限随机矢量生成的功能验证，该方法在满足约束条件的前提下，随机产生验证矢量。本文研究了受限随机矢量生成的功能验证在SoC设计中的应用，并以基于E语言和Specman验证平台验证了SoC芯片中的外部存储器接口，给出了具体的验证环境和验证步骤。验证结果表明，复杂验证场景和边缘情况的覆盖率均达到了100％，极大地提高了验证的效率和质量。
DSP5509开发板视频教程第八讲 外部存储器接口SDRAM实验—手把手学DSP
DSP5509开发板视频教程第九讲 外部存储器接口 键盘扫描实验—手把手学DSP
至芯科技FPGA视频教程之verilog模块的编写和验证
第四讲-C语言的流水灯验证—专辑：《AVR单片机软硬件设计视频教程-入门篇》
在FPGA开发板进行51程序验证
视频: 用尺子解释PWM原理
《吃豆人》——基于FPGA和51单片机的小游戏设计
Cocktail
x
畅学电子
