论文部分内容阅读
随着半导体工艺的发展，SoC芯片的规模和复杂度日益增大，传统的验证方法已经不能满足要求。本文介绍了基于System Verilog验证语言的形式化验证和VMM验证这两种功能验证的方法，并且结合使用这两种方法对一个UART接口模块进行了验证，在保证验证完备性的基础上，有效地提高了功能验证的效率。
基于SV语言的UART模块功能验证
【摘 要】
：
随着半导体工艺的发展，SoC芯片的规模和复杂度日益增大，传统的验证方法已经不能满足要求。本文介绍了基于System Verilog验证语言的形式化验证和VMM验证这两种功能验证的方法，并
【机 构】
：
大连理工大学电子科学与技术学院
【出 处】
：
信息通信
【发表日期】
：
2012年1期
其他文献
<正> 在君主制国家里,一直以来,年轻王室成员在婚恋问题上屡屡上演桃色风暴和爱情悲剧。从上个世纪三十年代的爱德华八世为了辛普逊夫人而逊位.到英国几位王子和公主的婚恋风
以G75高速公路一座预应力混凝土连续刚构桥为例,利用Midas Civil 2012有限元软件建立有限元空间模型,根据我国现行的《公路工程抗震设计细则》(JTG/T B02-01-2008)规定,对其
18世纪是英国资产阶级兴起的时期,新的阶级以积极的态度在政治、经济、思想和文化等方面的公共领域全面参与,以此来建构本阶级独有的意识形态。他们非常关注社会道德,力图使
工业革命为英国妇女改变自身地位提供了物质基础和契机。19世纪英国中产阶级妇女由被动地附属于家庭向新的社会角色转变,自我意识开始觉醒,成为近代女权主义思潮的先声。她们
抗战时期,由内迁的北平艺专与杭州艺专合并成立的国立艺专,曾迁往云南昆明办学。在昆明的近两年时间里,国立艺专的教学逐渐恢复调整,教师队伍也随之更替。为了适应抗战需要,
文章以小学语文教材中三篇说理文为例对小学说理性文体的“线性”教学策略进行了阐述,具体包括关注文本结构,初识说理文体;挖掘典型事例,感悟说理智慧;聚焦逻辑魅力,破解说理
<正>"集体土地上建公租房"政策自去年在北京首创之后,上海、郑州等地也开始这一模式的探索。"集体土地上建公租房"是利是弊?应该怎样认识这种模式?这是我们共同关注的话题。
由于生产效率和生产成本等原因,现代多数机械零件实现了标准化、大批次生产。而在当前较高的生产条件下,生产出的零件基本在既定值上下略微浮动,故而某批次机械零件整体差异
目的探讨Ⅲ型胫腓骨开放性骨折的治疗方法和疗效。方法1999年以来,对22例重度(Ⅲ型)胫腓骨开放性骨折应用组合式骨外固定器及皮瓣、肌皮瓣转移治疗。结果22例患者获8个月～3年5
陶行知先生一生创办和管理过多所学校,在其办学期间形成了颇具特色的学校管理思想,其中包括重视校长职责、一流教育家的"两种要素"、新教育的"新学校、新教员、新课程"思想、