论文部分内容阅读
设计复杂度的增加、IP重用等当前复杂SoC/ASIC设计的特性要求对设计的功能进行更加充分的验证.基于PSL的功能覆盖率分析与传统的代码覆盖率分析共同构成了一个完整的衡量电路验证质量的尺度,这一全新设计方法学的使用将有效提高验证的质量和效率.
基于PSL语言的数字集成电路功能覆盖率测试
【摘 要】
：
设计复杂度的增加、IP重用等当前复杂SoC/ASIC设计的特性要求对设计的功能进行更加充分的验证.基于PSL的功能覆盖率分析与传统的代码覆盖率分析共同构成了一个完整的衡量电路
【机 构】
：
Cadence Design Systems,Inc.上海交通大学微电子学院;
【出 处】
：
电子设计技术
【发表日期】
：
2005年6期
其他文献
养老金是社会保障制度的重要组成部分，随着人口老龄化的加剧以及养老金替代率的增加，未来我国养老金支付存在巨大的隐性债务。这就对养老金体系的健全程度以及养老基金的投资收
相对于钻石、黄金的低利润,近年翡翠成为香饽饽,盲目追捧导致近三两年翡翠从业队伍急速膨胀.以前从事翡翠销售的,如今扩大规模;以前从事钻石、黄金加工销售的,如今增加了翡翠
科技飞速发展的时代,人工智能极大的方便了我们的生活,工作和旅行,而且我们的行为更多的选择.由于分歧,不确定性和科学技术的复杂性,也有一些不可控的风险.人工智能的法律地
有关翡翠结构特征的研究已有许多文章发表,理论亦相当成熟,在此不再赘述.本文着重探讨翡翠的结构特征与其透明度之间的微妙关系,为了更好地研究翡翠的结构特征与其透明度之间
An improved heuristic recursive strategy combining with genetic algorithm is presented in this paper. Firstly, this method searches some rectangles, which have
Proliferation of district heating using local energy resources through strategic building-stock mana
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
随着我国农业产业化的发展，我国农业生产在生产方式、组织模式等方面都发生了巨大变化，小而全的传统生产方式开始向专业化生产方式转变，分散经营管理开始向集约化经营管理转变，各
随着2010年《俄罗斯联邦远东及贝加尔地区2025年前发展战略》的正式批准以及2012年远东地区发展部的正式成立，俄罗斯东部地区的战略地位日益凸显。东部地区占俄罗斯领土面积的