-
公开(公告)号：CN101441600B
公开(公告)日：2010-12-08
申请号：CN200810241076.8
申请日：2008-12-25
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。
-
公开(公告)号：CN101551749A
公开(公告)日：2009-10-07
申请号：CN200910083767.4
申请日：2009-05-11
Applicant: 中国科学院计算技术研究所
Abstract: 本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。
-
公开(公告)号：CN101510234A
公开(公告)日：2009-08-19
申请号：CN200910080077.3
申请日：2009-03-18
Applicant: 中国科学院计算技术研究所
IPC: G06F17/50
Abstract: 本发明涉及一种用于指令级随机验证的指令组合过滤方法及系统。该方法包括：步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；步骤2，设置指令过滤器为先进先出的队列模式；步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。可以有效解决大规模集成电路指令级随机验证中灵活的指令组合过滤问题，满足复杂集成电路验证中简化设计错误的调试过程和避免测试向量重复覆盖待验证设计功能点等需要，进而更好地支持复杂集成电路的验证。
-
公开(公告)号：CN100405324C
公开(公告)日：2008-07-23
申请号：CN200610078226.9
申请日：2006-05-12
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种在微处理器用户态随机验证中实现核心态程序验证的方法。该方法包括：a)在指令模版中添加异常处理相关的约束；b)对指令级随机验证产生引擎进行改进；c)在指令级处理器模拟器中加入核心态指令的执行机制，设置寄存器，在系统运行核心态指令时提供正确结果；d)在指令过滤器中加入步骤a)中所添加的异常处理相关的约束的过滤装置；e)在仿真环境中加入异常监测逻辑和控制寄存器更新逻辑；f)在仿真环境提供的存储器中预存异常处理程序。本发明具有验证全面、验证效率高的优点。
-
公开(公告)号：CN105738795B
公开(公告)日：2018-10-09
申请号：CN201610109126.1
申请日：2016-02-26
Applicant: 中国科学院计算技术研究所
IPC: G01R31/28
Abstract: 本发明提出一种用于硅后芯片验证的翻转覆盖率检测方法及装置，涉及超大规模集成电路设计验证领域，该方法包括对所述芯片中待验证RTL级进行硅前仿真验证，采集并统计所有触发器的翻转覆盖率，对所有所述翻转覆盖率进行分析，将所有所述翻转覆盖率按照翻转次数进行排序；将所述待验证RTL级综合为门级网表，为所述门级网表插入测试扫描电路，统计所述芯片中触发器的个数为FF_COUNT_REUSED，选择翻转次数最少的FF_RARELY_COVERED个触发器作为检测对象，将所述检测对象分为FF_COUNT_REUSED个组，在所述芯片中插入计数器逻辑电路统计输出每组所述检测对象的翻转次数。
-
Patent Agency Ranking
公开(公告)号：CN101487876B
公开(公告)日：2011-08-03
申请号：CN200910078243.6
申请日：2009-02-23
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36 , G01R31/3183
Abstract: 本发明公开了验证向量的优化方法及装置。该方法，包括下列步骤：根据仿真后的初始验证向量，获得所述初始验证向量对所定义的功能点的覆盖率的信息，初始化已覆盖功能点列表，构建分类模型；将新生成的验证向量送入所述分类模型，预测新生成的验证向量对所述功能点的覆盖率，并将使得对所述功能点的覆盖率提高的新生成的验证向量进行仿真，根据仿真结果更新功能点列表，得到覆盖率较高的验证向量。其能够在达到相同覆盖率的情况下，减少了需要进行仿真的验证向量的数目尽可能减少验证向量的使用，缩短仿真时间，从而提高验证效率，加速验证收敛。
-
公开(公告)号：CN101488160B
公开(公告)日：2011-03-23
申请号：CN200910078326.5
申请日：2009-02-25
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正确，同时获得覆盖率报告；步骤3，根据覆盖率报告计算当代种群中个体的适应度，根据适应度判断当前种群是否满足优化准则，如果满足，结束验证，否则，执行步骤4；步骤4，根据适应度选择当前种群中的优秀个体作为父个体，选择父个体的交叉对象，进行交叉操作以生成新个体，新个体组成下一代种群，更新当前种群为下一代种群，执行步骤2。本发明能够自动优化验证程序。
-
公开(公告)号：CN101515310B
公开(公告)日：2010-10-06
申请号：CN200910077761.6
申请日：2009-02-16
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及微处理器浮点单元的随机验证方法和系统，方法包括：步骤1，配置指令模板中约束规则；步骤2，按约束规则对浮点池进行初始化，并初始化内存中浮点池映像；步骤3，生成浮点操作指令，从浮点池中选择操作数；步骤4，模拟浮点操作指令的执行过程；步骤5，判断浮点操作指令是否合法，如果是，则执行步骤6，否则，取消浮点操作指令；步骤6，待验证微处理器从浮点池映像中取得被选择的操作数对应的映像，待验证微处理器浮点单元执行浮点操作命令；比较执行结果和模拟结果，如果两者不匹配，则待验证微处理器浮点单元存在缺陷。本发明能够在指令级随机验证中控制指令序列中参与运算的寄存器中的数值，提高验证效率。
-
公开(公告)号：CN101488160A
公开(公告)日：2009-07-22
申请号：CN200910078326.5
申请日：2009-02-25
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正确，同时获得覆盖率报告；步骤3，根据覆盖率报告计算当代种群中个体的适应度，根据适应度判断当前种群是否满足优化准则，如果满足，结束验证，否则，执行步骤4；步骤4，根据适应度选择当前种群中的优秀个体作为父个体，选择父个体的交叉对象，进行交叉操作以生成新个体，新个体组成下一代种群，更新当前种群为下一代种群，执行步骤2。本发明能够自动优化验证程序。
-
公开(公告)号：CN101441600A
公开(公告)日：2009-05-27
申请号：CN200810241076.8
申请日：2008-12-25
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及一种微处理器验证中快速换页的装置和方法。该装置包括：随机指令控制模块，用于读入验证微处理器的指令和数据，以及指令和数据的虚页号；为每个虚页号分配物理页号，生成页表；根据页表将指令和数据写入到内存模块中；接收微处理器输出的缺页例外信号；将虚页号、物理页号以及缺页例外信号组合成符合TLB格式的数据，随机写入被验证的微处理器；被验证的微处理器，用于从内存模块中取指令和数据执行，并将缺页例外信号输入到随机指令控制模块；内存模块，用于存储验证微处理器的指令和数据。本发明减少了验证中重复执行的无效指令，提高了效率。
-
-
-
-
-
-
-
-
-
Search Results
33
records
(took 0.066 seconds)
