针对多媒体应用的基于断言的低功耗设计流程——一项成功的设计案例.pdfVIP

l…H【l】国集成电路 迅 上 J L．a．ah,．a China Integrated Circuit ● ～ ， I ’ 。 一 针对多媒体应用的 基于断言的低功耗设计流程 — — 一 项成功的设计案例 张磊，杨素泽，沈晓芸，周骥，王 彤，胡永强 AMD技术公司，多伦多和上海 随着DVB—T在欧洲的普遍采用，地面模拟电视 USB接口连接移动电脑和台式电脑。这种新的芯片 广播的关闭以及明年ATSC广播在美国的试验，PC 引人了许多创新特征，能大幅度改进PC TV调谐器 TV视频采集卡也处于重要的转折点。PC TV视频采 产品的视频和音频质量。 集和处理正成为PC多媒体应用的不可或缺的部 这种芯片的一个主要特性在于，它是为任何具 分。低功耗设计对于移动电脑和基于USB的PC TV 有以下三种配置之一的超低功耗移动电脑而设计： 采集设备，以及长效电池和严格的USB功耗要求来 USB don~e，通过PCIE的Express Card和通过PCI 说，非常关键。基于PC多媒体应用，这篇论文描述 的CardBus。低功耗对以上应用非常重要，它可同时 了一种独特的基于断言的低功耗设计方法。 满足兼容性和长效电池寿命的需要。比如，USB认证 公司简介 要求基于USB的PCTV采集卡的所有部件的耗散 ~PC图形芯片、PC芯片组和PC多媒体芯片 功率不超过2．5W。新的芯片提高了移动电脑的电池 ◎数字电视芯片 寿命，同时将Pc电脑的视频质量推到了一个新的 ◎多媒体手持设备芯片 高度。 目标应用 CADENCE PSL的基于断言的方法学已被用于 ~PC多媒体／PC TV 验证若干领域的芯片，其中包括低功耗设计。 设计挑战 CADENCE基于PSL断言的设计流程已被用于 ◎由新的设计团队继承的已有设计模块 验证我们的低功耗设计特性，比如动态和静态时钟 ◎具有包括低功耗设计等新特征的新设计模块 门控，以及电压岛控制。 CADENCE解决方案 断言的好处 ◎基于断言的方法学 断言用于对照设计意图，来检查预期的设计行 CADENCE产品和服务 为。需要断言的典型领域包括：总线冲突、don’t care ◎Cadence PSL断言 检查、状态机器、时钟域交叉、FIFO下溢／溢出等。 目标应用 断言有许多好处：由于断言被植人代码中，从而提高 AMD正在开发的新芯片是Theater产品系列的 了可观察性；通过更快地找到问题而提高验证效率； 一 部分。它是AMD的第三代SoS(系统级芯片)，集 通过清晰地定义正确的行为，加以记录，从而加强了 成了灵活的世界级前端模拟解调器和解码器。它还 沟通。 能支持ATSC和DVB-T广播，它通过PCIE、PCI和 低功率设计指导方针 ‘，●‘^ ，^．^… -^；… … ^ 动态功耗 设计模块。继承这些设计的团队之前没有接