论文部分内容阅读
随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.
片上系统设计中事务级建模技术综述
【摘 要】
：
随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望.
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2007年11期
其他文献
目的:目前,上海市基本公共卫生服务提供均等化程度较高,但是公共卫生服务项目政策在群众中的知晓率和参与度并不高,居民对政策的不理解不认同会直接影响基本公共卫生服务项目
目的探讨糖尿病合并肺部感染患者的药学监护及个体化治疗措施。方法针对1例糖尿病合并肺部感染的患者,临床药师根据其病例特点、辅助检查及该院的细菌耐药情况等,结合相关指
现代远程教育是指通过互联网技术,以突破传统的教学方式当中的时间限制和空间限制,从而使教师与学生之间能够以互联网为平台而进行的教学活动。随着我国远程教育的发展,现代
提出一种大规模模型表示方法———法向插值偏移曲面.将模型表示为一个简单的基曲面以及分布在基曲面上的标量偏移场,它具有结构紧凑并易于处理的特点.提出的几何模型由三角网格表示转化为法向插值偏移曲面表示的转化算法,通过原模型的受限简化获得基曲面,利用基曲面上法向量的可插值特性,在简化过程中建立并维护其与原模型之间的一一映射,并将其作为简化限制条件.实验结果表明,基于法向插值偏移曲面的复合模型表示方法精确
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方