基于贝叶斯网络的验证激励向量生成研究     

王润  蒋剑飞  王琴 《教育技术导刊》2020,19(7):1-4

为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的 比于传统动态验证技术而言其芯片功能验证更完善。  相似文献   

幼儿不宜戴有色眼镜     

蒋剑飞 《幼儿教育》1982,(5)

塑料有色眼镜的镜面厚薄不一,颜色不匀,常戴会加重眼睛的调节负担,引起疲劳,使视力减退,还会出现畏光、见光流泪、视物不清等眼病。因此父母不要为了使孩子好玩或“漂亮”而给他们戴有色眼镜。如外出时太阳光强烈,可  相似文献