公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法被引量：6: 2009年; 覆盖率驱动的验证是功能验证的重要方法,但功能覆盖定义的主观性和手工调整验证输入的冗长过程都极大地影响了覆盖率驱动验证的效率.文中分析了代码行覆盖次数与功能覆盖率的内在联系,建立了基于代码行覆盖次数的概率模型,提出一种新的通过分析代码覆盖提高功能覆盖率的验证输入自动生成方法——FOCDGAG.通过代码行覆盖次数计算验证输入序列的适应度,选取对提高功能覆盖率贡献较高的输入序列,使用遗传算法自动生成新的输入序列组.实验结果表明,采用FOCDGAG时不需要功能覆盖信息,可以将全随机输入生成的功能覆盖率收敛速度提高10倍以上,将约束随机输入生成的功能覆盖率收敛速度提高20倍以上.; 傅亮卢鼎张志敏孙愿; 关键词：代码覆盖率遗传算法自动生成

聚芯SoC的视频系统设计与验证: 随着深亚微米工艺技术的快速发展，SoC技术成为超大规模集成电路发展的必然趋势。在SoC平台上集成视频系统有着极高的实用价值，对于其在手机通信、数码相机、监控系统、影音播放等领域的应用有着重要意义。本研究目标是在聚芯SoC...; 卢鼎; 关键词：集成电路片上系统芯片设计电路验证

全选清除导出

共1页<1>

卢鼎