CN1625122A - 在vlsi soc asic 芯片验证中状态机动态转换判定的方法 - Google Patents
在vlsi soc asic 芯片验证中状态机动态转换判定的方法 Download PDFInfo
- Publication number
- CN1625122A CN1625122A CN 200310111069 CN200310111069A CN1625122A CN 1625122 A CN1625122 A CN 1625122A CN 200310111069 CN200310111069 CN 200310111069 CN 200310111069 A CN200310111069 A CN 200310111069A CN 1625122 A CN1625122 A CN 1625122A
- Authority
- CN
- China
- Prior art keywords
- chip
- dynamic
- state machine
- vlsi
- checking
- 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.)
- Pending
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明旨在为充分验证L2/L3路由器、交换机SOC ASIC芯片在地址表格被动态更新时仍然能够作出有效判定,而提出的一种在VLSISOC ASIC芯片验证状态机动态转换判定方法。本发明采用的步骤为:针对芯片内所有动态地址表格建立相应的基于动态状态机转换判定的模拟检查器;利用建立的模拟检查器进行动态地列队,储存正在进行的所有作业,并在一个正在运行的模式下验证芯片逻辑设计。本发明针对router和switch,在实时、动态、复杂、多变的网络环境里,当动态表格在进行动态更新时仍然能够作出有效、线速、准确的判定。
Description
技术领域
本发明涉及一种芯片验证过程中状态机动态转换判定的方法,具体的说是一种在VLSI SOC ASIC芯片验证中,为有效验证芯片内动态表格是否正确更新和维护而提出的状态机动态转换判定方法。(VLSISOC ASIC:超大规模专用集成电路芯片。)
背景技术
目前,网络通信设备——L2/L3路由器、交换机面向的都是完全开放的OSI模型。在真实网络环境里,发往芯片模型的数据包不仅是随即无穷的,而且是实时和动态的。因此L2/L3路由器和交换机都具有多重不受输入限制的端口。这些不受限制的输入模式将动态地和同时地改变L2/L3路由器、交换机地址表格(旧地址的衰老和新地址的学习,地址表格是一个动态的表格)。而上述这些改变将直接影响了数据包在路由器、交换机中的有效判定。为了充分验证L2/L3路由器、交换机SOC ASIC在路由交换功能判定时的正确性,提出一种针对动态表格动态更新时的状态机动态转换的判定方法是不可避免的。然而目前还没有出现解决该问题的有效方法,所带来的直接后果就是L2/L3路由器、交换机SOC ASIC在真实网络环境下在多作业同时操作下将很有可能无法进行正确的逻辑判断,从而使得整个L2/L3路由器、交换机产品失效。
发明内容
本发明旨在为充分验证L2/L3路由器、交换机SOC ASIC芯片在地址表格被动态更新时仍然能够作出有效判定,而提出的一种状态机动态转换判定方法。
为解决所述技术问题,本发明采用的方法步骤为:
a、针对芯片内所有动态地址表格建立相应的基于动态状态机转换判定的模拟检查器,该模拟器将完成和芯片内所有动态地址表格相同的对数据包的逻辑判断功能。
b、利用建立的模拟检查器进行动态地列队,储存正在进行的所有作业,并在一个正在运行的模式下验证芯片逻辑设计。
上述a项所述模拟检查器的工作流程是:
a)针对所有同时运行的作业建立相应的队列;
b)针对所有队列建立敏感列表进行跟踪;
c)针对相互干扰的队列利用敏感列表记录并将这些队列组成一个CIA群体;
d)激发计算器计算CIA群体里所有队列的各种组合结果,并与RTL结果相比较;
e)返回比较结果更新敏感列表。
上述b项具体过程是:当不能预测的大量随机作业进入芯片后,模拟器同时启动,对各种作业进行动态处理,最后用模拟器处理的结果和芯片实际处理结果相比较,如果结果相同,说明被验证的芯片逻辑判断正确;如果不同,说明被验证的芯片逻辑判断有误,需要补充修改芯片设计。
本发明的有益效果表现在:
本发明针对router和switch,在实时、动态、复杂、多变的网络环境里,当动态表格在进行动态更新时仍然能够作出有效、线速、准确的判定。其中包括网络数据包能得以正确转发、正确丢弃、准确地送忘往CPU;动态地址表能得以正确学习、正确老化等等。
附图说明:
图1为本发明模拟检查器的工作流程框图
具体实施方式:
本发明针对芯片内所有动态地址表格建立相应的基于动态状态机转换判定的模拟检查器,该模拟器将完成和芯片内所有动态地址表格相同的对数据包的逻辑判断功能;
所述模拟检查器的具体工作步骤是:
a)所有同时运行的作业,根据动态的状态被列为一个队列。每个正在列队运行的作业,根据自身的值,分配时间戳和计数器并将作业加到队列的入口。
b)建立一份敏感的列表是用来跟踪队列入口的时间戳。如果两个或更多的队列入口同时出现干扰排列,这些入口会被组成一个CIA群体,CIA的值在一开始就是可配置的,它也可在全局范围配置。以这种方式构成的一条反馈环,就是任何已知的敏感作业被放入到敏感表,作为以后更深层验证检查。
c)一旦一组CIA已满,它引发一个结果比较器去计算可能结果,而这些结果是根据所有组合列队的顺序归为一队的CIA群的结果。计算的结果相互独立且它们之一必须与RTL结果一样。
d)检查的结果被反馈到敏感列表(在b中已讨论)更新敏感列表。假如在一定长度的时间内,c程序未访问某个敏感实体,则将其删出敏感列表。这个长度是可编辑的。整个过程是高速的(a->b->c->d)运行的,计算仅花了CPU的时间而不花费模拟时间。”
模拟检查器建立后,利用建立的模拟检查器进行动态地列队,储存正在进行的所有作业,并在一个正在运行的模式下验证芯片逻辑设计。
具体过程是:当不能预测的大量随机作业进入芯片后,模拟器同时启动,对各种作业进行动态处理,最后用模拟器处理的结果和芯片实际处理结果相比较,如果结果相同,说明被验证的芯片逻辑判断正确;如果不同,说明被验证的芯片逻辑判断有误,需要补充修改芯片设计。
Claims (3)
1、在VLSI SOC ASIC芯片验证中状态机动态转换判定的方法,其特征在于:采用的步骤为:
a、针对芯片内所有动态地址表格建立相应的基于动态状态机转换判定的模拟检查器,该模拟器将完成和芯片内所有动态地址表格相同的对数据包的逻辑判断功能。
b、利用建立的模拟检查器进行动态地列队,储存正在进行的所有作业,并在一个正在运行的模式下验证芯片逻辑设计。
2、根据权利要求1所述的在VLS I SOC ASIC芯片验证中状态机动态转换判定的方法,其特征在于:
上述a项所述模拟检查器的工作流程是:
a)针对所有同时运行的作业建立相应的队列;
b)针对所有队列建立敏感列表进行跟踪;
c)针对相互干扰的队列利用敏感列表记录并将这些队列组成一个CIA群体;
d)激发计算器计算CIA群体里所有队列的各种组合结果,并与RTL结果相比较;
e)返回比较结果更新敏感列表。
3、根据权利要求1所述的在VLSI SOC ASIC芯片验证中状态机动态转换判定的方法,其特征在于:上述b项具体过程是:当不能预测的大量随机作业进入芯片后,模拟器同时启动,对各种作业进行动态处理,最后用模拟器处理的结果和芯片实际处理结果相比较,如果结果相同,说明被验证的芯片逻辑判断正确;如果不同,说明被验证的芯片逻辑判断有误,需要补充修改芯片设计。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 200310111069 CN1625122A (zh) | 2003-12-02 | 2003-12-02 | 在vlsi soc asic 芯片验证中状态机动态转换判定的方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 200310111069 CN1625122A (zh) | 2003-12-02 | 2003-12-02 | 在vlsi soc asic 芯片验证中状态机动态转换判定的方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN1625122A true CN1625122A (zh) | 2005-06-08 |
Family
ID=34759312
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN 200310111069 Pending CN1625122A (zh) | 2003-12-02 | 2003-12-02 | 在vlsi soc asic 芯片验证中状态机动态转换判定的方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN1625122A (zh) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833502A (zh) * | 2010-04-15 | 2010-09-15 | 上海华为技术有限公司 | Asic芯片验证方法和可编程门阵列 |
CN102063371A (zh) * | 2010-12-29 | 2011-05-18 | 大唐微电子技术有限公司 | 验证芯片处理器逻辑设计的方法和系统 |
CN103944899A (zh) * | 2014-04-18 | 2014-07-23 | 华为技术有限公司 | 用于实现通用公共无线接口协商状态机的装置和方法 |
-
2003
- 2003-12-02 CN CN 200310111069 patent/CN1625122A/zh active Pending
Cited By (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101833502A (zh) * | 2010-04-15 | 2010-09-15 | 上海华为技术有限公司 | Asic芯片验证方法和可编程门阵列 |
CN101833502B (zh) * | 2010-04-15 | 2016-03-02 | 上海华为技术有限公司 | Asic芯片验证方法和可编程门阵列 |
CN102063371A (zh) * | 2010-12-29 | 2011-05-18 | 大唐微电子技术有限公司 | 验证芯片处理器逻辑设计的方法和系统 |
CN103944899A (zh) * | 2014-04-18 | 2014-07-23 | 华为技术有限公司 | 用于实现通用公共无线接口协商状态机的装置和方法 |
CN103944899B (zh) * | 2014-04-18 | 2017-05-24 | 华为技术有限公司 | 用于实现通用公共无线接口协商状态机的装置和方法 |
US9990226B2 (en) | 2014-04-18 | 2018-06-05 | Huawei Technologies Co., Ltd. | Apparatus and method for implementing common public radio interface negotiation state machine |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Karnagel et al. | Adaptive work placement for query processing on heterogeneous computing resources | |
CN105974794B (zh) | 基于改进的猫群算法的离散制造车间调度方法 | |
CN103514023A (zh) | 一种虚拟机离线自动软件安装的方法及系统 | |
CN102682166A (zh) | Smt设备快速制程系统及方法 | |
JP4965634B2 (ja) | シミュレーション・システムの動作制御方法、プログラム及びシステム | |
CN104391791A (zh) | 嵌入式控制算法的测试方法及装置 | |
CN103065000A (zh) | 一种基于模型驱动工程进行SysML状态机图分析验证的方法 | |
JP2020057385A (ja) | ソースコード作成のためのモデルの変更方法 | |
CN103797431B (zh) | 一种集成仿真机器和方法 | |
CN102880493A (zh) | 一种构件间动态依赖关系的自动分析方法 | |
CN1625122A (zh) | 在vlsi soc asic 芯片验证中状态机动态转换判定的方法 | |
CN1877545A (zh) | 一种嵌入式系统模拟器中的动态软件能耗测试方法 | |
CN102144221A (zh) | 用于自动化测试的紧凑架构 | |
JP2006031360A (ja) | 生産ライン計画支援装置および生産ライン計画支援方法 | |
CN105005210B (zh) | 机电一体化仿真系统及使用其的方法 | |
US7761832B2 (en) | Method for incremental, timing-driven, physical-synthesis optimization under a linear delay model | |
CN110276443A (zh) | 模型转换一致性验证及分析方法、装置及存储介质 | |
Saadawi et al. | Verification of real-time DEVS models | |
CN115494801A (zh) | 板件生产线搭建方法及终端 | |
CN110210046A (zh) | 应用程序及专用指令集处理器一体化敏捷设计方法 | |
CN107844060A (zh) | 一种机匣数字化装配可视化平台设计方法 | |
CN108319227A (zh) | 图形套料的数控程序生成方法、服务器及存储介质 | |
CN112487636A (zh) | 一种基于云计算技术的分子动力学计算方法及其系统 | |
CN112148271A (zh) | 一种装配工艺代码自动生成与注入的方法 | |
CN1595537A (zh) | 一种对NAND flash存储器进行物理损坏模拟的系统及其方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
WD01 | Invention patent application deemed withdrawn after publication |