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

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

Info

Publication number
CN101719181B
CN101719181B CN2009102414636A CN200910241463A CN101719181B CN 101719181 B CN101719181 B CN 101719181B CN 2009102414636 A CN2009102414636 A CN 2009102414636A CN 200910241463 A CN200910241463 A CN 200910241463A CN 101719181 B CN101719181 B CN 101719181B
Authority
CN
China
Prior art keywords
power
down module
state
module
assignment
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN2009102414636A
Other languages
English (en)
Other versions
CN101719181A (zh
Inventor
李树杰
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nantong City Science And Technology Park Investment And Development Co Ltd
Original Assignee
Wuxi Vimicro Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Wuxi Vimicro Corp filed Critical Wuxi Vimicro Corp
Priority to CN2009102414636A priority Critical patent/CN101719181B/zh
Publication of CN101719181A publication Critical patent/CN101719181A/zh
Application granted granted Critical
Publication of CN101719181B publication Critical patent/CN101719181B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Landscapes

  • Semiconductor Integrated Circuits (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明提供一种多电源域集成电路的动态验证装置及方法，装置包括：配置单元，用于：为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；验证单元，用于：更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态。本发明能够模拟出电源域掉电的状况和效果，实现多电源域的集成电路的掉电状况的测试验证。

Description

一种多电源域集成电路的动态验证装置及方法
技术领域
本发明涉及集成电路领域，特别是涉及一种多电源域集成电路的动态验证装置及方法。
背景技术
在大规模集成电路设计与验证中，多电源域的验证是一个非常重要的工作。其中一个电源域是指由同一个电源供电的各电子器件组成的电路，图1为现有技术的电源域的示意图，其中，模拟集成电路100中存在第一电源域110和第二电源域120。
由于仿真工具的模拟与实际集成电路芯片的工作情况有差异，模拟集成电路中电源掉电并不必然导致由其供电的电子器件失效，这种情况导致用仿真工具难以直接模拟一个电源域掉电的情况，因此多电源域的验证一直是芯片仿真验证中的一个难点。
发明内容
本发明的目的是提供一种多电源域集成电路的动态验证装置及方法，能够模拟出电源域掉电的状况和效果，实现多电源域的集成电路的掉电状况的测试验证。
为了实现上述目的，一方面，提供了一种多电源域集成电路的动态验证装置，包括：
配置单元，用于：为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
验证单元，用于：更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态。
优选地，上述的动态验证装置中，所述所有信号包括时序逻辑信号和组合逻辑信号。
优选地，上述的动态验证装置中，所述掉电模块具体包括：
信号列表模块，用于存储掉电信号；
判断模块，用于根据所述掉电信号确认所述当前电源状态；
解析模块，用于解析所述对应的电路单元，获取所述所有信号；
赋值模块，用于将所述所有信号强制赋值为高阻态；
取消模块，用于取消所述赋值模块的赋值并且将所述所有信号赋值为不定态。
本发明的另一个方面，提供一种多电源域集成电路的动态验证方法，包括如下步骤：
步骤一，为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
步骤二，更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态。
优选地，上述的方法中，所述所有信号包括时序逻辑信号和组合逻辑信号。
优选地，上述的方法中，所述步骤二中，更新所述掉电模块中的所述当前电源状态的步骤具体包括：
更新所述掉电模块的信号列表模块中的掉电信号；
所述掉电模块根据所述掉电信号确认所述当前电源状态；
所述掉电模块解析所述对应的电路单元，获取所述所有信号。
优选地，上述的方法中，在所述步骤一中，所述为属于同一个电源域的每个电路单元对应配置一个掉电模块的步骤具体包括：通过批量修改属于同一个电源域的每个电路单元的寄存器传输级描述，来为每个电路单元对应配置一个掉电模块。
本发明至少存在以下技术效果：
1)本发明动态验证装置，通过给集成电路的电路单元设置一个掉电模块，通过该掉电模块对电路单元内的所有信号进行强制赋值，从而模拟出电源域掉电的状况和效果，从而实现了多电源域的集成电路的掉电状况的测试验证。并且，通过批量修改一个指定的电源域中的所有掉电模块，可以多次方便及时的进行模拟，实现动态验证。
2)使用本发明方法可以借助现有的仿真工具更好的模拟多电源域上电和掉电时候芯片内部信号的行为。对多电源域设计的核心部分进行更加有效和精确的验证，弥补了现有验证方法的空白。
附图说明
图1为现有技术的电源域的示意图；
图2本发明实施例提供的多电源域集成电路的动态验证装置的结构图；
图3为本发明实施例提供的掉电模块的结构图；
图4为本发明实施例提供的方法的步骤流程图。
具体实施方式
为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合附图对具体实施例进行详细描述。
图2本发明实施例提供的多电源域集成电路的动态验证装置的结构图，如图2所示，多电源域集成电路的动态验证装置200，包括：
配置单元210，用于：为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
验证单元220，用于：更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态(这是因为刚上电而又没有初始化的时候，改为不定态更符合实际情况，所以由所述掉电模块将所有信号改为不定态，此处为一般赋值)。
图3为本发明实施例提供的掉电模块的结构图，如图3所示，掉电模块具体包括：
信号列表模块301，用于存储掉电信号；
判断模块302，用于根据所述掉电信号确认所述当前电源状态；
解析模块303，用于解析所述对应的电路单元，获取所述所有信号；
赋值模块304，用于将所述所有信号强制赋值为高阻态；
取消模块305，用于取消所述赋值单元的赋值，并将所述所有信号赋值为不定态。
其中，所述所有信号包括时序逻辑信号和组合逻辑信号。
可见，本发明动态验证装置，通过给模拟集成电路的电路单元设置一个掉电模块，通过该掉电模块对电路单元内的所有信号进行强制赋值，从而模拟出电源域掉电的状况和效果，从而实现了多电源域的集成电路的掉电状况的测试验证。并且，通过批量修改一个指定的电源域中的所有掉电模块，可以多次方便及时的进行模拟，实现动态验证。
图4为本发明实施例提供的方法的步骤流程图；如图4所示，多电源域的动态验证方法包括如下步骤：
步骤401，为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
步骤402，更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且赋值为不定态。
其中，所述步骤402中，更新所述掉电模块中的所述当前电源状态的步骤可以具体包括：更新所述掉电模块的敏感列表中的掉电信号；所述掉电模块根据所述掉电信号确认所述当前电源状态；所述掉电模块解析所述对应的电路单元，获取所述所有信号。
在所述步骤401中，所述为属于同一个电源域的每个电路单元对应配置一个掉电模块的步骤具体包括：通过批量修改属于同一个电源域的每个电路单元的寄存器传输级描述，来为每个电路单元对应配置一个掉电模块。
本发明实施例中，通过批量修改集成电路设计中的RTL(register transferlevel，寄存器传输级)代码，就可以对需要掉电的电源域中的所有信号增加响应掉电的行为级描述，使每个电路单元都能对应设置一个掉电模块。这样一旦该电路单元所在的电源域掉电，该电路单元内的所有信号立刻变成高阻(Z态)，从而达到模拟电源域掉电的行为的目的。
本发明实施例对RTL代码(假设该代码是verilog语言编写的)进行批量修改，这个工作是由脚本来实现的。针对掉电电源域的每个文件(通常是每个模块)脚本首先解析该文件，获取该文件中所有的时序信号，然后在模块结束(endmodule)的关键字之前加入一个掉电模块(always块)，掉电模块的敏感列表就是掉电信号，根据掉电信号的数值判断是掉电还是上电，如果是掉电则强制使所有时序信号变成高阻(在verilog语言中就是使用“force”)，如果是上电则释放掉被强制赋值的时序信号(在verilog语言中就是使用“release”)。这样在仿真器执行完时序信号的处理之后，就会自动的更新组合逻辑信号的数值，从而达到在掉电情况下所有信号为不定态或者高阻态，在上电的时候恢复正常数值的目的。
由上可知，本发明实施例具有以下优势：
1)本发明动态验证装置，通过给模拟集成电路的电路单元设置一个掉电模块，通过该掉电模块对电路单元内的所有信号进行强制赋值，从而模拟出电源域掉电的状况和效果，从而实现了多电源域的集成电路的掉电状况的测试验证。并且，通过批量修改一个指定的电源域中的所有掉电模块，可以多次方便及时的进行模拟，实现动态验证。
2)使用本发明方法可以借助现有的仿真工具更好的模拟多电源域上电和掉电时候芯片内部信号的行为。对多电源域设计的核心部分进行更加有效和精确的验证，弥补了现有验证方法的空白。
以上所述仅是本发明的优选实施方式，应当指出，对于本技术领域的普通技术人员来说，在不脱离本发明原理的前提下，还可以做出若干改进和润饰，这些改进和润饰也应视为本发明的保护范围。

Claims (7)

1.一种多电源域集成电路的动态验证装置，其特征在于，包括：
配置单元，用于：为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
验证单元，用于：更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态。
2.根据权利要求1所述的动态验证装置，其特征在于，所述所有信号包括时序逻辑信号和组合逻辑信号。
3.根据权利要求1所述的动态验证装置，其特征在于，所述掉电模块具体包括：
信号列表模块，用于存储掉电信号；
判断模块，用于根据所述掉电信号确认所述当前电源状态；
解析模块，用于解析所述对应的电路单元，获取所述所有信号；
赋值模块，用于将所述所有信号强制赋值为高阻态；
取消模块，用于取消所述赋值模块的赋值并且将所述所有信号赋值为不定态。
4.一种多电源域集成电路的动态验证方法，其特征在于，包括如下步骤：
步骤一，为属于同一个电源域的每个电路单元对应配置一个掉电模块，所述掉电模块中存储所述电源域的当前电源状态；
步骤二，更新所述掉电模块中的所述当前电源状态，在所述当前电源状态为掉电状态时，使所述掉电模块将对应的电路单元中的所有信号强制赋值为高阻态；在所述当前电源状态由掉电状态转变为上电状态时，使所述掉电模块取消对所述所有信号的强制赋值并且对所述所有信号赋值为不定态。
5.根据权利要求4所述的动态验证方法，其特征在于，所述所有信号包括时序逻辑信号和组合逻辑信号。
6.根据权利要求4所述的动态验证方法，其特征在于，所述步骤二中，更新所述掉电模块中的所述当前电源状态的步骤具体包括：
更新所述掉电模块的信号列表模块中的掉电信号；
所述掉电模块根据所述掉电信号确认所述当前电源状态；
所述掉电模块解析所述对应的电路单元，获取所述所有信号。
7.根据权利要求4所述的动态验证方法，其特征在于，在所述步骤一中，所述为属于同一个电源域的每个电路单元对应配置一个掉电模块的步骤具体包括：
通过批量修改属于同一个电源域的每个电路单元的寄存器传输级描述，来为每个电路单元对应配置一个掉电模块。
CN2009102414636A 2009-12-03 2009-12-03 一种多电源域集成电路的动态验证装置及方法 Active CN101719181B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN2009102414636A CN101719181B (zh) 2009-12-03 2009-12-03 一种多电源域集成电路的动态验证装置及方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN2009102414636A CN101719181B (zh) 2009-12-03 2009-12-03 一种多电源域集成电路的动态验证装置及方法

Publications (2)

Publication Number Publication Date
CN101719181A CN101719181A (zh) 2010-06-02
CN101719181B true CN101719181B (zh) 2012-07-04

Family

ID=42433755

Family Applications (1)

Application Number Title Priority Date Filing Date
CN2009102414636A Active CN101719181B (zh) 2009-12-03 2009-12-03 一种多电源域集成电路的动态验证装置及方法

Country Status (1)

Country Link
CN (1) CN101719181B (zh)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN105137330B (zh) * 2014-05-22 2018-09-25 炬芯（珠海）科技有限公司 多电压域数字电路的验证装置及其运行方法
CN104156049B (zh) * 2014-08-11 2017-01-11 福州瑞芯微电子股份有限公司 电源域验证装置、设备和方法
CN104391780A (zh) * 2014-10-23 2015-03-04 浪潮电子信息产业股份有限公司 一种自动检验服务器电源冗余功能稳定性的方法
CN112069749B (zh) * 2020-09-14 2021-07-20 成都海光微电子技术有限公司 一种电源连接验证方法、装置、电子设备和存储介质

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101008964A (zh) * 2007-01-31 2007-08-01 北京中星微电子有限公司 一种验证专用集成电路中多电源区域设计的方法及系统
CN101251870A (zh) * 2008-03-21 2008-08-27 北京中星微电子有限公司 一种仿真验证多电源域中的隔离单元的方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101008964A (zh) * 2007-01-31 2007-08-01 北京中星微电子有限公司 一种验证专用集成电路中多电源区域设计的方法及系统
CN101251870A (zh) * 2008-03-21 2008-08-27 北京中星微电子有限公司 一种仿真验证多电源域中的隔离单元的方法

Also Published As

Publication number Publication date
CN101719181A (zh) 2010-06-02

Similar Documents

Publication Publication Date Title
CN102708031B (zh) 一种快速定位故障内存的方法
US20090089725A1 (en) Synthesis of assertions from statements of power intent
CN101719181B (zh) 一种多电源域集成电路的动态验证装置及方法
CN102354259B (zh) 唤醒复位电路
WO2007120845A3 (en) Method and system for simulating state retention of an rtl design
CN102866349A (zh) 集成电路测试方法
CN102486813A (zh) 事务处理级的系统功率消耗估计方法与系统
CN103699655B (zh) 实现数据库国际化的方法及装置、数据转换方法及系统
US9665671B1 (en) Emulating power gating for a circuit design using a programmable integrated circuit
CN108008715B (zh) 基于fpga的系统功率评估装置与方法
CN106293233A (zh) 触控显示器的驱动方法及驱动系统
Mbarek et al. A methodology for power-aware transaction-level models of systems-on-chip using UPF standard concepts
CN102446101A (zh) 固件强制升级的系统及其固件的强制升级方法
US8239791B2 (en) Method of designing multi-state restore circuitry for restoring state to a power managed functional block
CN108121842A (zh) 多处理器系统芯片的低功耗工作方式的验证方法和装置
CN203849370U (zh) 一种边界扫描测试装置
Krieg et al. Power and fault emulation for software verification and system stability testing in safety critical environments
Cristófoli et al. On the comparison of synchronous versus asynchronous circuits under the scope of conducted power-supply noise
EP2369509A1 (en) Method of generating an integrated circuit layout and integrated circuit
Nagendra et al. An overview of low power design implementation of a subsystem using UPF
CN106503278B (zh) 数字电路设计的时序分析方法及其系统
Škuta et al. Automated integration of dynamic power management into FPGA-based design
Peng et al. Function verification of SRAM controller based on UVM
JP4855283B2 (ja) 半導体集積回路の設計装置
CN101539789B (zh) 分配功率管理

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
ASS Succession or assignment of patent right

Owner name: WUXI VIMICRO MICROELECTRONICS CO., LTD.

Free format text: FORMER OWNER: BEIJING ZHONGXING MICROELECTRONICS CO., LTD.

Effective date: 20110526

C41 Transfer of patent application or patent right or utility model
COR Change of bibliographic data

Free format text: CORRECT: ADDRESS; FROM: 100083 15/F, SHINING BUILDING, NO. 35, XUEYUAN ROAD, HAIDIAN DISTRICT, BEIJING TO: 214028 610, NATIONAL INTEGRATED CIRCUIT DESIGN PARK (CHUANGYUAN BUILDING), NO. 21-1, CHANGJIANG ROAD, WUXI NEW DISTRICT, JIANGSU PROVINCE, CHINA

TA01 Transfer of patent application right

Effective date of registration: 20110526

Address after: 214028 national integrated circuit design Park, 21-1 Changjiang Road, New District, Jiangsu, Wuxi, China, 610

Applicant after: Wuxi Vimicro Co., Ltd.

Address before: 100083, Haidian District, Xueyuan Road, Beijing No. 35, Nanjing Ning building, 15 Floor

Applicant before: Beijing Vimicro Corporation

C14 Grant of patent or utility model
GR01 Patent grant
DD01 Delivery of document by public notice

Addressee: Wuxi Vimicro Corp (Finance)

Document name: Notification of Approving Refund

ASS Succession or assignment of patent right

Owner name: NANTONG CHONGCHUAN SCIENCE AND TECHNOLOGY PARK INV

Free format text: FORMER OWNER: WUXI VIMICRO CO., LTD.

Effective date: 20150120

C41 Transfer of patent application or patent right or utility model
COR Change of bibliographic data

Free format text: CORRECT: ADDRESS; FROM: WUXI, JIANGSU PROVINCE TO: 226006 NANTONG, JIANGSU PROVINCE

TR01 Transfer of patent right

Effective date of registration: 20150120

Address after: Jiangsu province Nantong City Chongchuan road 226006 No. 1

Patentee after: Nantong city science and technology park investment and Development Co. Ltd.

Address before: National integrated circuit design Park, 21-1 Changjiang Road, New District, Jiangsu, Wuxi Province, 610

Patentee before: Wuxi Vimicro Co., Ltd.

TR01 Transfer of patent right

Effective date of registration: 20190808

Address after: 226000 Chenggang Group II, Chongchuan District, Nantong City, Jiangsu Province

Patentee after: Nantong Lean Electronics Co., Ltd.

Address before: Jiangsu province Nantong City Chongchuan road 226006 No. 1

Patentee before: Nantong city science and technology park investment and Development Co. Ltd.

TR01 Transfer of patent right
TR01 Transfer of patent right

Effective date of registration: 20200103

Address after: Jiangsu province Nantong City Chongchuan road 226000 No. 1

Patentee after: Nantong city science and technology park investment and Development Co. Ltd.

Address before: 226000 Chenggang Group II, Chongchuan District, Nantong City, Jiangsu Province

Patentee before: Nantong Lean Electronics Co., Ltd.

TR01 Transfer of patent right