📚 覆盖驱动验证技术资料

📦 资源总数：10000
💻 源代码：10000

🔥 覆盖驱动验证热门资料

查看全部10000个资源 »

· 摘要：  随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间.提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码.我们将这种方法应用于一款DSP的功能验证,结果显示在很短的验证代码...

👤 20125101110 ⬇️ 4 次下载
代码覆盖率 模型

棋盘覆盖问题，用递归分治算法写的。可以在VC6上运行。...

👤 jichenxi0730 ⬇️ 108 次下载

💻 覆盖驱动验证源代码

查看更多 »
💻
覆盖.txt
💻
棋盘覆盖.dsp
💻
棋盘覆盖.ncb
💻
棋盘覆盖.plg
💻
棋盘覆盖.opt
💻
棋盘覆盖.dsw
📂 覆盖驱动验证资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 10000 个资源