CN106599498A - 基于树回溯算法提高芯片验证覆盖率的方法 - Google Patents

基于树回溯算法提高芯片验证覆盖率的方法 Download PDF

Info

Publication number
CN106599498A
CN106599498A CN201611186591.1A CN201611186591A CN106599498A CN 106599498 A CN106599498 A CN 106599498A CN 201611186591 A CN201611186591 A CN 201611186591A CN 106599498 A CN106599498 A CN 106599498A
Authority
CN
China
Prior art keywords
tree
coverage rate
point
covered
chip
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.)
Withdrawn
Application number
CN201611186591.1A
Other languages
English (en)
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.)
Centec Networks Suzhou Co Ltd
Original Assignee
Centec Networks Suzhou Co Ltd
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 Centec Networks Suzhou Co Ltd filed Critical Centec Networks Suzhou Co Ltd
Priority to CN201611186591.1A priority Critical patent/CN106599498A/zh
Publication of CN106599498A publication Critical patent/CN106599498A/zh
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/39—Circuit design at the physical level
    • G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了一种基于树回溯算法提高芯片验证覆盖率的方法，包括：定义一棵逻辑树，每个待覆盖功能点为所述逻辑树上的一个节点；选择一待覆盖点为起点，通过回溯算法获取从根节点到所述待覆盖点的路径；根据所述路径获取验证所述待覆盖点需要的配置信息。采用本发明技术方案，可加快芯片验证覆盖率的收敛速度，从而提高芯片验证覆盖率。

Description

基于树回溯算法提高芯片验证覆盖率的方法
技术领域
本发明涉及芯片验证技术领域，具体涉及一种基于树回溯算法提高芯片验证覆盖率的方法。
背景技术
随着芯片技术的发展，芯片的规模与复杂度越来越高，而验证将占据超过约70％的芯片开发时间，验证已经成为芯片开发中的瓶颈。针对该瓶颈，在当前的验证技术中普遍采用以覆盖率为导向的随机激励与定向激励相结合的验证方法。
传统的方法是通过人工分析代码的分支以及走向，再根据分支以及走向修改激励的约束，由于大规模的芯片设计代码量非常大，采用人工逐条的分析覆盖率中没有覆盖的代码，不仅花费大量的时间，而且不可避免的出现反复，也容易由于分析的错误导致工作量的增大。
发明内容
针对现有技术的不足，本发明的主要目的在于：提出一种基于树回溯算法提高芯片验证覆盖率的方法，通过该方法可加快芯片验证覆盖率的收敛速度，从而提高芯片验证覆盖率。
为实现前述目的，本发明公开了一种基于树回溯算法提高芯片验证覆盖率的方法，具体包括：
定义一棵逻辑树，每个待覆盖功能点为所述逻辑树上的一个节点；
选择一待覆盖点为起点，通过回溯算法获取从根节点到所述待覆盖点的路径；
根据所述路径获取验证所述待覆盖点需要的配置信息。
优选地，所述逻辑树根据芯片功能规格书定义。
优选地，根据所述配置信息生成相应的验证激励。
优选地，所述激励为定向激励。
与现有技术相比，本发明的优点在于：本发明公开的一种基于树回溯算法提高芯片验证覆盖率的方法，通过对芯片功能逻辑树的回溯实现生成覆盖某一节点配置信息的自动化，加快覆盖率的收敛过程，提高了以覆盖率为导向的验证效率。
附图说明
图1是本发明一实施例提出的基于树回溯算法覆盖某一节点生成配置信息的示意图；
图2是本发明一实施例提出的逻辑树示意图；
图3是本发明一实施例提出的以某待覆盖点为起点进行反溯的过程示意图；
图4是本发明一实施例提出的通过树回溯算法获取路径示意图。
具体实施方式
鉴于现有技术中的不足，本案发明人经长期研究和大量实践，得以提出本发明的技术方案。如下将对该技术方案、其实施过程及原理等作进一步的解释说明。
本发明提出一种基于树回溯算法提高芯片验证覆盖率的方法，根据芯片所实现的功能生成一棵逻辑树，每一个待覆盖点都是这棵逻辑树上的一个节点。通过树回溯算法得到从根节点到某一待覆盖点的路径信息，由此得到覆盖该点的配置信息。根据配置信息，可对该待覆盖点生成相应的约束激励，从而实现对该功能的芯片验证。采用本发明实施例所提出的方法，避免了验证人员对功能点验证逻辑的手动分析，加快了芯片验证覆盖率的收敛速度，从而提高芯片验证效率。
为了使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅用以解释本发明，并不用于限定本发明。
图1是本发明一实施例提出的基于树回溯算法覆盖某一节点生成配置信息的方法示意图，如图1所示，通过逻辑树生成模块对芯片功能规格书进行解析可以得到该芯片对应的逻辑树，根据该逻辑树以某一个待覆盖节点为起点采用树回溯算法进行反溯，从而根据反溯得到的路径信息得到覆盖该点所需要的配置信息或配置文件，根据相关配置信息，便可对该待覆盖点进行验证相关操作。
图2～图4是本发明一实施例提出的基于逻辑树进行反溯以获取待覆盖点配置信息的示意图，如图2所示为根据芯片所实现的功能生成的一棵逻辑树，以待覆盖点8.4为例，将其设为起点，通过回溯算法依层次进行反溯直至到根节点，如图3所示，从而得到根节点1.1至节点8.4的路径“1.1→2.1→3.1→4.2→5.2→6.4→7.3→8.4”，如图4所示。根据此路径可获得覆盖节点8.4所需的配置信息，据此生成相应的定向激励，从而实现对该功能的芯片验证。
采用本发明实施例提出的一种基于树回溯算法提高芯片验证覆盖率的方法，通过对芯片功能逻辑树的回溯实现生成覆盖某一节点配置信息的自动化，避免人工分析的过程，从而加速芯片的验证进程。
应当理解，上述实施例仅为说明本发明的技术构思及特点，其目的在于让熟悉此项技术的人士能够了解本发明的内容并据以实施，并不能以此限制本发明的保护范围。凡根据本发明精神实质所作的等效变化或修饰，都应涵盖在本发明的保护范围之内。

Claims (4)

1.一种基于树回溯算法提高芯片验证覆盖率的方法，其特征在于：
定义一棵逻辑树，每个待覆盖功能点为所述逻辑树上的一个节点；
选择一待覆盖点为起点，通过回溯算法获取从根节点到所述待覆盖点的路径；
根据所述路径获取验证所述待覆盖点需要的配置信息。
2.根据权利要求1所述的基于树回溯算法提高芯片验证覆盖率的方法，其特征在于：所述逻辑树根据芯片功能规格书定义。
3.根据权利要求1所述的基于树回溯算法提高芯片验证覆盖率的方法，其特征在于：根据所述配置信息生成相应的验证激励。
4.根据权利要求3所述的基于树回溯算法提高芯片验证覆盖率的方法，其特征在于：所述激励为定向激励。
CN201611186591.1A 2016-12-20 2016-12-20 基于树回溯算法提高芯片验证覆盖率的方法 Withdrawn CN106599498A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201611186591.1A CN106599498A (zh) 2016-12-20 2016-12-20 基于树回溯算法提高芯片验证覆盖率的方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201611186591.1A CN106599498A (zh) 2016-12-20 2016-12-20 基于树回溯算法提高芯片验证覆盖率的方法

Publications (1)

Publication Number Publication Date
CN106599498A true CN106599498A (zh) 2017-04-26

Family

ID=58600473

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201611186591.1A Withdrawn CN106599498A (zh) 2016-12-20 2016-12-20 基于树回溯算法提高芯片验证覆盖率的方法

Country Status (1)

Country Link
CN (1) CN106599498A (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111428245A (zh) * 2020-03-30 2020-07-17 电子科技大学 面向自主芯片硬件逻辑漏洞的激活序列生成方法
CN111967212A (zh) * 2020-08-06 2020-11-20 广芯微电子（广州）股份有限公司 一种层次化设计芯片时序收敛的方法、系统及存储介质
CN116136950A (zh) * 2023-04-14 2023-05-19 北京燧原智能科技有限公司 芯片验证方法、装置、系统、电子设备及存储介质

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101000367A (zh) * 2006-12-31 2007-07-18 合肥工业大学 一种块标记的系统芯片测试数据压缩方法
CN101625709B (zh) * 2008-07-09 2011-05-18 华为技术有限公司 功能覆盖率的收集方法及装置
CN102331967A (zh) * 2011-06-15 2012-01-25 烽火通信科技股份有限公司 芯片验证测试用例的管理方法
CN102722610A (zh) * 2012-05-29 2012-10-10 李姮乐 一种由流程图自动产生覆盖率代码的方法及装置
CN202976082U (zh) * 2012-11-14 2013-06-05 上海宇芯科技有限公司 多终点建立时间违规修复后的电路
US8516399B2 (en) * 2009-02-18 2013-08-20 Mentor Graphics Corporation Collaborative environment for physical verification of microdevice designs

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101000367A (zh) * 2006-12-31 2007-07-18 合肥工业大学 一种块标记的系统芯片测试数据压缩方法
CN101625709B (zh) * 2008-07-09 2011-05-18 华为技术有限公司 功能覆盖率的收集方法及装置
US8516399B2 (en) * 2009-02-18 2013-08-20 Mentor Graphics Corporation Collaborative environment for physical verification of microdevice designs
CN102331967A (zh) * 2011-06-15 2012-01-25 烽火通信科技股份有限公司 芯片验证测试用例的管理方法
CN102722610A (zh) * 2012-05-29 2012-10-10 李姮乐 一种由流程图自动产生覆盖率代码的方法及装置
CN202976082U (zh) * 2012-11-14 2013-06-05 上海宇芯科技有限公司 多终点建立时间违规修复后的电路

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
俞濛等: "《覆盖测试中基于回溯法的路径选择》", 《SOFTWARE》 *
罗登富等: "《基于覆盖率的集成电路验证》", 《现代电子技术》 *
肖庆等: "《结构测试中的路径产生》", 《计算机工程》 *

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111428245A (zh) * 2020-03-30 2020-07-17 电子科技大学 面向自主芯片硬件逻辑漏洞的激活序列生成方法
CN111428245B (zh) * 2020-03-30 2023-04-25 电子科技大学 面向自主芯片硬件逻辑漏洞的激活序列生成方法
CN111967212A (zh) * 2020-08-06 2020-11-20 广芯微电子（广州）股份有限公司 一种层次化设计芯片时序收敛的方法、系统及存储介质
CN116136950A (zh) * 2023-04-14 2023-05-19 北京燧原智能科技有限公司 芯片验证方法、装置、系统、电子设备及存储介质

Similar Documents

Publication Publication Date Title
CN107885999B (zh) 一种基于深度学习的漏洞检测方法及系统
CN106599498A (zh) 基于树回溯算法提高芯片验证覆盖率的方法
CN104008053B (zh) 一种用于漏洞发掘的动态符号执行路径搜索方法
CN105632484A (zh) 语音合成数据库停顿信息自动标注方法及系统
CN105138335B (zh) 一种基于控制流图的函数调用路径提取方法及装置
CN110674191B (zh) 一种通用联锁逻辑搜索方法及装置
CN101894236A (zh) 基于摘要语法树和语义匹配的软件同源性检测方法及装置
CN102955914A (zh) 一种源文件安全漏洞的检测方法及检测装置
CN108959257A (zh) 一种自然语言解析方法、装置、服务器及存储介质
CN107367686A (zh) 一种rtl硬件木马测试向量的生成方法
CN103150200A (zh) 一种计算机语言转换系统及c语言到msvl语言的转换方法
CN109992770A (zh) 一种基于组合神经网络的老挝语命名实体识别方法
CN109542562A (zh) 界面图片的识别方法及装置
CN107480115B (zh) 一种caffe框架残差网络配置文件格式转换方法及系统
CN107358099A (zh) 基于llvm中间表示程序切片技术的无用变量检测方法
CN104461548B (zh) 代码片段的添加方法和装置
CN114637843A (zh) 数据处理方法、装置、电子设备及存储介质
CN109408034A (zh) 一种面向对象程序的控制流图构造方法
CN105739882A (zh) 用于字符识别的计算机可读记录介质、方法及设备
CN104899042B (zh) 一种嵌入式机器视觉检测程序开发方法及系统
CN105022667A (zh) 一种基于嵌入式浏览器css引擎并行化方法
CN104199649B (zh) 一种用于父子进程间交互信息的路径剖析方法
CN106790109A (zh) 数据匹配方法和装置、协议数据分析方法、装置和系统
CN103793502B (zh) 即时编译器中一种基于云的热路径优化方法
CN105550459B (zh) 一种asic设计时钟网络提取系统

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WW01 Invention patent application withdrawn after publication
WW01 Invention patent application withdrawn after publication

Application publication date: 20170426