论文部分内容阅读
随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.
片上系统设计中事务级建模技术综述
【摘 要】
：
随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2007年11期
其他文献
目的:目前,上海市基本公共卫生服务提供均等化程度较高,但是公共卫生服务项目政策在群众中的知晓率和参与度并不高,居民对政策的不理解不认同会直接影响基本公共卫生服务项目
在给出机构轨迹生成问题的描述模型的基础上,论述了该问题的基本内涵和主要研究内容 结合作者的研究成果,分别从分析、综合与创新方法三个方面系统地总结了机构轨迹生成理论的研究进展 (1)阐述了机构轨迹分析的基本要求和分类标准,给出了三类轨迹分析方法及常用轨迹偏差度量函数;(2 )概述了机构轨迹直接综合方法和间接综合方法的研究进展,并根据机构轨迹综合方法的几个评价标准对这两种方法进行了分析与比较;(3)提
＂刚一推门,一盆凉水就从头顶泼了下来,学生哄堂大笑,我一言不发地走上讲台,顶着风咬紧牙关,不使打颤的牙齿发出更大声响。＂一会儿,班里爱搞恶作剧、最不服管的吴锋站起来说：＂老师
【正】 福建的公路建设,经过40年的艰苦努力,取得了很大的成绩。解放初期,全省公路通车里程仅2708公里,到1987年底达到38,148公里,增长了13.09倍。永久式和半永久式公路桥梁
目的探讨糖尿病合并肺部感染患者的药学监护及个体化治疗措施。方法针对1例糖尿病合并肺部感染的患者,临床药师根据其病例特点、辅助检查及该院的细菌耐药情况等,结合相关指
现代远程教育是指通过互联网技术,以突破传统的教学方式当中的时间限制和空间限制,从而使教师与学生之间能够以互联网为平台而进行的教学活动。随着我国远程教育的发展,现代
在构建和谐社会和宽严相济刑事政策背景下，我国检察机关借鉴西方恢复性司法理念，结合三项重点工作总体要求，探索将刑事和解纳入公诉案件办案机制，对一部分刑事案件主要是轻微刑事
提出一种大规模模型表示方法———法向插值偏移曲面.将模型表示为一个简单的基曲面以及分布在基曲面上的标量偏移场,它具有结构紧凑并易于处理的特点.提出的几何模型由三角网格表示转化为法向插值偏移曲面表示的转化算法,通过原模型的受限简化获得基曲面,利用基曲面上法向量的可插值特性,在简化过程中建立并维护其与原模型之间的一一映射,并将其作为简化限制条件.实验结果表明,基于法向插值偏移曲面的复合模型表示方法精确
<正> 当前,“工资基金和企业经济效益挂钩”的改革方案,在实践中遇到一些问题,一是由于企业分解了一部分工资分配权,在相互攀比机制的作用下,导致一度消费基金的膨胀;二是国
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方