发明名称 一种多人协同验证复杂IP的验证平台的方法及结构
摘要 本发明提供一种多人协同验证复杂IP的验证平台的方法,包括如下步骤:10、使用模拟行为模型产生的数据流,进行各子模块的独立验证;20、使用真实的数据流,进行各个子模块的协同验证;30、通过各子模块的数据采集模型采集的数据流,定位问题所在位置,并修正;40、各子模块重新进行协同验证。一种采用所述方法的结构,所述IP包括复数个子模块,它的输入端设有激励信息产生模型,输出端设有输出数据采集模型,每两个子模块之间都设有一数据采集模型,一模拟行为模型,一通路选择器,所述通路选择器用于连接原始数据流通路,并且一输入端连接对应的模拟行为模型。本发明提高了验证的效率,减少验证时间。
申请公布号 CN102053894A 申请公布日期 2011.05.11
申请号 CN201010595906.4 申请日期 2010.12.17
申请人 福州瑞芯微电子有限公司 发明人 廖裕民
分类号 G06F11/26(2006.01)I 主分类号 G06F11/26(2006.01)I
代理机构 福州市鼓楼区京华专利事务所(普通合伙) 35212 代理人 翁素华
主权项 一种多人协同验证复杂IP的验证平台的方法,它包括独立验证阶段和协同验证阶段,其特征在于,具体包括:步骤10、使用模拟行为模型产生的数据流,进行各个子模块的独立验证,每个子模块输出端设有数据采集模型用于采集并记录数据流,判断数据流是否正确,若正确则进入下一步骤,若错误则修正后,继续独立验证;步骤20、使用真实的数据流,进行各个子模块的协同验证,通过输出数据采集模型采集IP总体运算数据,判断总体运算数据是否正确,若错误则进入下一步骤;若正确,则结束验证;步骤30、通过上述各子模块输出端的数据采集模型采集数据流,根据数据流错误的位置找出所有可能出错的子模块进行独立验证,若验证错误则修正,直到所有可能出错的子模块都验证正确;步骤40、将所有的子模块重新加入协同验证平台进行协同验证,回到步骤20。
地址 350000 福建省福州市鼓楼区软件大道89号18号楼