发明名称 |
一种多人协同验证复杂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号楼 |