排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
本文考虑带随机干扰因素的两类索赔模型的破产问题,研究轻尾随机变量风险和过程的Lundberg指数,并给出了破产概率的表达式。 相似文献
2.
随着集成电路设计规模和复杂度的不断增大,验证工作越来越重要,如何快速地搭建一个强大、高效的验证平台是工程师们关注的重点。本文基于业内常用的高级验证方法学RVM(Reference Verification Methodology),利用Vera验证语言搭建了一个层次化验证平台,对AVS视频编解码芯片进行验证。本设计中,AVS(Audio Video coding Standard)视频解码芯片的验证一共开发测试用例2400多条,覆盖率也已达到项目要求,其中行覆盖率为99.2%,条件覆盖率为95%,状态机覆盖率是98.1%,跳转覆盖达95.2%,且平台可重用性较好。
验证结果表明,基于RVM的vera平台可以准确高效地对芯片进行验证。 相似文献
3.
4.
每名职工都是生产实践的主体,通过安全理念的培养和教育,在全体员工中形成"关爱生命,珍视健康"的生命价值观,"安全第一,预防为主"的安全价值观,有利于营造一个良好的企业安全文化氛围。 相似文献
1