论文部分内容阅读
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5 1指令集的TBFV模型
事务级形式验证技术及8051验证模型
【摘 要】
：
提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5 1指令集的TBFV模型
【机 构】
：
上海交通大学电子工程系
【出 处】
：
计算机辅助设计与图形学学报
【发表日期】
：
2003年08期
【基金项目】
：
美国国家科学基金，高等学校博士学科点专项科研项目
其他文献
针对传统的基于精确数学模型的立体视觉方法过程繁琐的不足 ,提出一种应用BP神经网络隐式视觉模型进行三维重建的算法 该算法将多个标定平面放置在有效视场内 ,用神经网络模拟立体视觉由两个二维图像重建三维几何的过程 ,经过网络训练建模后 ,无须摄像机标定即可进行三维重建 仿真实验结果证明 ,该算法比较简单 ,且能保持较高的精度
本文从资源的开放共享程度、课程学习资源的优质程度、平台建设以及课程的评价等方面,分析了我国国家精品课程网络资源建设存在的问题,总结了美国MITOCW开放教育资源项目建设
新闻报道要产生广大读者喜闻乐见的精品，就要精心组织报道内容，努力创新表现形式，从根本上转变采访作风，真正做到“三贴近”。
摘要：教师既是知识种子的传播者，又是文明之树的培育者，既是人类灵魂的塑造者，又是人类社会发展与进步的开拓者，是年轻一代健康成长的引路人和光辉典范，现代教育关注学生素质，教师的师德师风对于塑造学生良好的道德素质，培养学生健全的思想与人格极为关键。 关键词：师德；教学；学生；素质 21世纪，我们面对着一个崭新的充满着机遇和挑战的竞争时代。师德师风是教师素质的核心。历代的教育家提出的“为人师表”
“兵能往，吾亦能往”。天崩地裂，共赴国难。浙江媒体各路记者赶赴震区前线采访报道，担当巨灾之下的责任和使命，经受艰难困苦的磨难和洗礼，激发了对事业、对人生、对理想的深邃思考
保养液对红细胞免疫功能的影响赵晶石，赵晶平，白震禄，杨义明红细胞免疫功能的发现对临床输血赋予了新的内容。作者在实验中发现经保养液抗凝的全血，红细胞免疫粘附功能偏低，为证实
2007年12月2日，由宁波日报报业集团下属的东南商报等单位联合主办的宁波市第四届外来务工者节在中山广场举行庆祝活动。活动现场人山人海，成为一片欢乐的海洋。
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求.最后用ISCAS’85电路的实验结果证明了该算法的有效性.