基于断言的SoC设计验证方法

本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言——OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。

基于断言的SoC设计验证方法

随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步。因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容。本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率。

基于OpenVera搭建MMC卡验证模型

本文首先描述MMC卡(MultiMediaCard)的结构、管脚定义以及工作原理,然后介绍了基于OpenVera语言的RVM(Refer-ence Verification Methodology,参考验证方法)芯片设计验证方法学,最后讨论基于OpenVera语言的MMC卡验证模型的建立,并详细分析了该验证模型的各个部分。

存储卡接口的RVM验证平台

外接存储卡是手机越来越普及的一项功能,因此,在手机芯片中集成一个或多个存储卡接口变得十分必要。本文将首先介绍RVM验证方法学的特点、层次化结构,然后介绍如何利用RVM验证方法学搭建存储卡接口的验证平台,对芯片的存储卡接口进行模块级和系统级的验证。

SoC设计验证策略及方法学

验证在SoC设计过程中有十分重要的作用,它将影响到芯片的整体开销和质量。本文首先介绍了当前业界比较常用的一些验证技术的特点,包括仿真技术、静态验证技术、形式验证、物理验证等,然后通过实例论述在SoC设计验证中的关键技术——重用技术、随机约束验证、自检技术和形式断言验证。

DVB-H手机电视标准中的MPE-FEC

DVB-H可以保证移动终端在移动环境和低功耗条件下接收数字电视节目,可以很好地和3G网络配合使用。本文首先阐述了DVB-H的系统解决方案,然后对其中能够提高移动信道中的C/N、多普勒性能以及抗脉冲干扰能力的MPE-FEC技术进行分析,重点介绍了MPE-FEC的帧结构及其传送和RS译码。

编码协作通信技术的研究

协作分集技术是目前移动通信技术的研究热点。文中首先介绍了协作分集技术的研究现状,然后分别阐述了目前已经提出的三种协作通信中继协议——放大前传、译码前传以及编码协作,最后重点研究了性能最佳的编码协作分集技术。