• 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03
    • / 8
    • 下载费用:30 金币  

    重庆时时彩组三形态: 一种多电源域集成电路的动态验证装置及方法.pdf

    摘要
    申请专利号:

    重庆时时彩单双窍门 www.4mum.com.cn CN200910241463.6

    申请日:

    2009.12.03

    公开号:

    CN101719181A

    公开日:

    2010.06.02

    当前法律状态:

    授权

    有效性:

    有权

    法律详情: 专利权的转移IPC(主分类):G06F 17/50变更事项:专利权人变更前权利人:无锡中星微电子有限公司变更后权利人:南通市崇川科技园投资发展有限公司变更事项:地址变更前权利人:江苏省无锡市新区长江路21-1号国家集成电路设计园(创源大厦)610变更后权利人:226006 江苏省南通市崇川路1号登记生效日:20150120|||文件的公告送达IPC(主分类):G06F 17/50收件人:无锡中星微电子有限公司(财务)文件名称:退款审批通知书|||授权|||专利申请权的转移IPC(主分类):G06F 17/50变更事项:申请人变更前权利人:北京中星微电子有限公司变更后权利人:无锡中星微电子有限公司变更事项:地址变更前权利人:100083 北京市海淀区学院路35号世宁大厦15层变更后权利人:214028 中国江苏省无锡市新区长江路21-1号国家集成电路设计园(创源大厦)610登记生效日:20110526|||实质审查的生效IPC(主分类):G06F 17/50申请日:20091203|||公开
    IPC分类号: G06F17/50 主分类号: G06F17/50
    申请人: 北京中星微电子有限公司
    发明人: 李树杰
    地址: 100083 北京市海淀区学院路35号世宁大厦15层
    优先权:
    专利代理机构: 北京银龙知识产权代理有限公司 11243 代理人: 郭海彬
    PDF完整版下载: PDF下载
    法律状态
    申请(专利)号:

    CN200910241463.6

    授权公告号:

    ||||||101719181B|||||||||

    法律状态公告日:

    2015.02.11|||2014.11.26|||2012.07.04|||2011.07.06|||2011.03.23|||2010.06.02

    法律状态类型:

    专利申请权、专利权的转移|||文件的公告送达|||授权|||专利申请权、专利权的转移|||实质审查的生效|||公开

    摘要

    本发明提供一种多电源域集成电路的动态验证装置及方法,装置包括:配置单元,用于:为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?;验证单元,用于:更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?。本发明能够模拟出电源域掉电的状况和效果,实现多电源域的集成电路的掉电状况的测试验证。

    权利要求书

    1: 一种多电源域集成电路的动态验证装置,其特征在于,包括: 配置单元,用于:为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?; 验证单元,用于:更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?。
    2: 根据权利要求1所述的动态验证装置,其特征在于,所述所有信号包括时序逻辑信号和组合逻辑信号。
    3: 根据权利要求1所述的动态验证装置,其特征在于,所述掉电??榫咛灏ǎ?信号列表???,用于存储掉电信号; 判断???,用于根据所述掉电信号确认所述当前电源状态; 解析???,用于解析所述对应的电路单元,获取所述所有信号; 赋值???,用于将所述所有信号强制赋值为高阻态; 取消???,用于取消所述赋值单元的赋值并且赋值为不定态。
    4: 一种多电源域的动态验证方法,其特征在于,包括如下步骤: 步骤一,为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?; 步骤二,更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?。
    5: 根据权利要求4所述的动态验证方法,其特征在于,所述所有信号包括时序逻辑信号和组合逻辑信号。
    6: 根据权利要求4所述的动态验证方法,其特征在于,所述步骤二中,更新所述掉电??橹械乃龅鼻暗缭醋刺牟街杈咛灏ǎ?更新所述掉电??榈拿舾辛斜碇械牡舻缧藕?; 所述掉电??楦菟龅舻缧藕湃啡纤龅鼻暗缭醋刺?; 所述掉电??榻馕鏊龆杂Φ牡缏返ピ?,获取所述所有信号。
    7: 根据权利要求4所述的动态验证方法,其特征在于,在所述步骤一中,所述为属于同一个电源域的每个电路单元对应配置一个掉电??榈牟街杈咛灏ǎ?通过批量修改属于同一个电源域的每个电路单元的寄存器传输级描述,来为每个电路单元对应配置一个掉电???。

    说明书


    一种多电源域集成电路的动态验证装置及方法

        【技术领域】

        本发明涉及集成电路领域,特别是涉及一种多电源域集成电路的动态验证装置及方法。

        背景技术

        在大规模集成电路设计与验证中,多电源域的验证是一个非常重要的工作。其中一个电源域是指由同一个电源供电的各电子器件组成的电路,图1为现有技术的电源域的示意图,其中,模拟集成电路100中存在第一电源域110和第二电源域120。

        由于仿真工具的模拟与实际集成电路芯片的工作情况有差异,模拟集成电路中电源掉电并不必然导致由其供电的电子器件失效,这种情况导致用仿真工具难以直接模拟一个电源域掉电的情况,因此多电源域的验证一直是芯片仿真验证中的一个难点。

        【发明内容】

        本发明的目的是提供一种多电源域集成电路的动态验证装置及方法,能够模拟出电源域掉电的状况和效果,实现多电源域的集成电路的掉电状况的测试验证。

        为了实现上述目的,一方面,提供了一种多电源域集成电路的动态验证装置,包括:

        配置单元,用于:为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?;

        验证单元,用于:更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?。

        优选地,上述的动态验证装置中,所述所有信号包括时序逻辑信号和组合逻辑信号。

        优选地,上述的动态验证装置中,所述掉电??榫咛灏ǎ?br>
        信号列表???,用于存储掉电信号;

        判断???,用于根据所述掉电信号确认所述当前电源状态;

        解析???,用于解析所述对应的电路单元,获取所述所有信号;

        赋值???,用于将所述所有信号强制赋值为高阻态;

        取消???,用于取消所述赋值单元的赋值并且赋值为不定态。

        本发明的另一个方面,提供一种多电源域的动态验证方法,包括如下步骤:

        步骤一,为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?;

        步骤二,更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?。

        优选地,上述的方法中,所述所有信号包括时序逻辑信号和组合逻辑信号。

        优选地,上述的方法中,所述步骤二中,更新所述掉电??橹械乃龅鼻暗缭醋刺牟街杈咛灏ǎ?br>
        更新所述掉电??榈拿舾辛斜碇械牡舻缧藕?;

        所述掉电??楦菟龅舻缧藕湃啡纤龅鼻暗缭醋刺?;

        所述掉电??榻馕鏊龆杂Φ牡缏返ピ?,获取所述所有信号。

        优选地,上述的方法中,在所述步骤一中,所述为属于同一个电源域的每个电路单元对应配置一个掉电??榈牟街杈咛灏ǎ和ü啃薷氖粲谕桓龅缭从虻拿扛龅缏返ピ募拇嫫鞔浼睹枋?,来为每个电路单元对应配置一个掉电???。

        本发明至少存在以下技术效果:

        1)本发明动态验证装置,通过给集成电路的电路单元设置一个掉电???,通过该掉电??槎缘缏返ピ诘乃行藕沤星恐聘持?,从而模拟出电源域掉电的状况和效果,从而实现了多电源域的集成电路的掉电状况的测试验证。并且,通过批量修改一个指定的电源域中的所有掉电???,可以多次方便及时的进行模拟,实现动态验证。

        2)使用本发明方法可以借助现有的仿真工具更好的模拟多电源域上电和掉电时候芯片内部信号地行为。对多电源域设计的核心部分进行更加有效和精确的验证,弥补了现有验证方法的空白。

        【附图说明】

        图1为现有技术的电源域的示意图;

        图2本发明实施例提供的多电源域集成电路的动态验证装置的结构图;

        图3为本发明实施例提供的掉电??榈慕峁雇?;

        图4为本发明实施例提供的方法的步骤流程图。

        【具体实施方式】

        为使本发明实施例的目的、技术方案和优点更加清楚,下面将结合附图对具体实施例进行详细描述。

        图2本发明实施例提供的多电源域集成电路的动态验证装置的结构图,如图2所示,多电源域集成电路的动态验证装置200,包括:

        配置单元210,用于:为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?;

        验证单元220,用于:更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶叶运鏊行藕鸥持滴欢ㄌ?这是因为刚上电而又没有初始化的时候,改为不定态更符合实际情况,所以由所述掉电??榻行藕鸥奈欢ㄌ?,此处为一般赋值)。

        图3为本发明实施例提供的掉电??榈慕峁雇?,如图3所示,掉电??榫咛灏ǎ?br>
        信号列表???01,用于存储掉电信号;

        判断???02,用于根据所述掉电信号确认所述当前电源状态;

        解析???03,用于解析所述对应的电路单元,获取所述所有信号;

        赋值???04,用于将所述所有信号强制赋值为高阻态;

        取消???05,用于取消所述赋值单元的赋值,并将所述所有信号赋值为不定态。

        其中,所述所有信号包括时序逻辑信号和组合逻辑信号。

        可见,本发明动态验证装置,通过给模拟集成电路的电路单元设置一个掉电???,通过该掉电??槎缘缏返ピ诘乃行藕沤星恐聘持?,从而模拟出电源域掉电的状况和效果,从而实现了多电源域的集成电路的掉电状况的测试验证。并且,通过批量修改一个指定的电源域中的所有掉电???,可以多次方便及时的进行模拟,实现动态验证。

        图4为本发明实施例提供的方法的步骤流程图;如图4所示,多电源域的动态验证方法包括如下步骤:

        步骤401,为属于同一个电源域的每个电路单元对应配置一个掉电???,所述掉电??橹写娲⑺龅缭从虻牡鼻暗缭醋刺?;

        步骤402,更新所述掉电??橹械乃龅鼻暗缭醋刺?,在所述当前电源状态为掉电状态时,使所述掉电??榻杂Φ牡缏返ピ械乃行藕徘恐聘持滴咦杼?;在所述当前电源状态由掉电状态转变为上电状态时,使所述掉电??槿∠运鏊行藕诺那恐聘持挡⑶腋持滴欢ㄌ?。

        其中,所述步骤402中,更新所述掉电??橹械乃龅鼻暗缭醋刺牟街杩梢跃咛灏ǎ焊滤龅舻缒?榈拿舾辛斜碇械牡舻缧藕?;所述掉电??楦菟龅舻缧藕湃啡纤龅鼻暗缭醋刺?;所述掉电??榻馕鏊龆杂Φ牡缏返ピ?,获取所述所有信号。

        在所述步骤401中,所述为属于同一个电源域的每个电路单元对应配置一个掉电??榈牟街杈咛灏ǎ和ü啃薷氖粲谕桓龅缭从虻拿扛龅缏返ピ募拇嫫鞔浼睹枋?,来为每个电路单元对应配置一个掉电???。

        本发明实施例中,通过批量修改集成电路设计中的RTL(register?transferlevel,寄存器传输级)代码,就可以对需要掉电的电源域中的所有信号增加响应掉电的行为级描述,使每个电路单元都能对应设置一个掉电???。这样一旦该电路单元所在的电源域掉电,该电路单元内的所有信号立刻变成高阻(Z态),从而达到模拟电源域掉电的行为的目的。

        本发明实施例对RTL代码(假设该代码是verilog语言编写的)进行批量修改,这个工作是由脚本来实现的。针对掉电电源域的每个文件(通常是每个???脚本首先解析该文件,获取该文件中所有的时序信号,然后在??榻崾?endmodule)的关键字之前加入一个掉电???always块),掉电??榈拿舾辛斜砭褪堑舻缧藕?,根据掉电信号的数值判断是掉电还是上电,如果是掉电则强制使所有时序信号变成高阻(在verilog语言中就是使用“force”),如果是上电则释放掉被强制赋值的时序信号(在verilog语言中就是使用“release”)。这样在仿真器执行完时序信号的处理之后,就会自动的更新组合逻辑信号的数值,从而达到在掉电情况下所有信号为不定态或者高阻态,在上电的时候恢复正常数值的目的。

        由上可知,本发明实施例具有以下优势:

        1)本发明动态验证装置,通过给模拟集成电路的电路单元设置一个掉电???,通过该掉电??槎缘缏返ピ诘乃行藕沤星恐聘持?,从而模拟出电源域掉电的状况和效果,从而实现了多电源域的集成电路的掉电状况的测试验证。并且,通过批量修改一个指定的电源域中的所有掉电???,可以多次方便及时的进行模拟,实现动态验证。

        2)使用本发明方法可以借助现有的仿真工具更好的模拟多电源域上电和掉电时候芯片内部信号的行为。对多电源域设计的核心部分进行更加有效和精确的验证,弥补了现有验证方法的空白。

        以上所述仅是本发明的优选实施方式,应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明原理的前提下,还可以做出若干改进和润饰,这些改进和润饰也应视为本发明的?;し段?。

    关 键 词:
    一种 电源 集成电路 动态 验证 装置 方法
      专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:一种多电源域集成电路的动态验证装置及方法.pdf
    链接地址://www.4mum.com.cn/p-5781779.html
    关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

    [email protected] 2017-2018 www.4mum.com.cn网站版权所有
    经营许可证编号:粤ICP备17046363号-1 
     


    收起
    展开
  • 四川郎酒股份有限公司获第十二届人民企业社会责任奖年度环保奖 2019-05-13
  • 银保监会新规剑指大企业多头融资和过度融资 2019-05-12
  • 韩国再提4国联合申办世界杯 中国网友无视:我们自己来 2019-05-11
  • 中国人为什么一定要买房? 2019-05-11
  • 十九大精神进校园:风正扬帆当有为 勇做时代弄潮儿 2019-05-10
  • 粽叶飘香幸福邻里——廊坊市举办“我们的节日·端午”主题活动 2019-05-09
  • 太原设禁鸣路段 设备在测试中 2019-05-09
  • 拜耳医药保健有限公司获第十二届人民企业社会责任奖年度企业奖 2019-05-08
  • “港独”没出路!“梁天琦们”该醒醒了 2019-05-07
  • 陈卫平:中国文化内涵包含三方面 文化复兴表现在其中 2019-05-06
  • 人民日报客户端辟谣:“合成军装照”产品请放心使用 2019-05-05
  • 【十九大·理论新视野】为什么要“建设现代化经济体系”?   2019-05-04
  • 聚焦2017年乌鲁木齐市老城区改造提升工程 2019-05-04
  • 【专家谈】上合组织——构建区域命运共同体的有力实践者 2019-05-03
  • 【华商侃车NO.192】 亲!楼市火爆,别忘了买车位啊! 2019-05-03