基于矢量随机生成和断言的LCD控制器的验证

来源 :电子工程师 | 被引量 : 0次 | 上传用户:jianjian9527
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SoC(片上系统)设计能力的快速发展和工艺水平的不断提高,芯片功能日益复杂。功能验证的任务也日渐加大。文中以LCD(液晶显示器)控制器为例,利用随机矢量生成技术和断言技术,实现了该控制器的功能验证。验证结果表明,采用两者相结合的技术能有效地搭建复杂验证环境,大大提高了验证效率,并取得了良好的效果。
其他文献
采用SC7750LW型红外热像仪采集了激光-电弧复合焊接高氮奥氏体不锈钢的熔池表面温度,通过Matlab数学软件建立了基于红外热像图的三维温度分布转换程序。研究了不同热输入条件
B超图像由于受其成像机理的限制,其成像质量较差,无法采用与CT(计算机断层扫描)、MRI(磁共振成像)类似的三维重建方法。针对B超图像的缺点,采用基于形状的插值方法将其转换为等分辨率体数据。此外,对插值算法进行了适当改进,使重建的速度和效果得到明显改善。最后,分别采用移动立方体(marching cubes)算法、连接轮廓线、光线投射(ray casting)算法对B超图像进行三维重建。结果表明,
本文从广义城市化的内涵出发,构建了经济、社会发展和人口、环境改善于一体的城市化水平评价指标体系。通过主成分分析和因子分析两种综合评价方法,对新疆省1978-2004年城市化
目的探析电刺激生物反馈疗法对产后女性盆底肌功能康复的影响。方法方便选取选取2018年4月—2019年8月于该院接受治疗的290例产后女性盆底肌功能障碍患者作为主要研究对象,采
通过对新疆涉农高校科技成果转化中存在的障碍进行分析,结合目前高校科研发展条件,参考国内、外高校成果转化的经验,提出了新疆涉农高校科技成果转化的对策和建议。
摘要:新时期高校图书馆已经成为一个开放性的场所,普通地浏览、借阅和管理书籍等已经无法适应新的发展,为了满足学生学习、交往、研究等多样性的要求,对高校图书馆的设计需要借鉴
作为教师与学生联系的桥梁和纽带,学生干部既是校园文化建设的核心力量,也是辅导员做好学校思想政治工作的得力助手。高职院校是国家培养人才和输送人才的重要基地,在新形势下如