专利名称：一种soc芯片中的mmu的验证方法
—种SOC芯片中的MMU的验证方法
技术领域：
本发明属于集成电路领域，具体是指一种SOC芯片中的MMU的验证方法。
背景技术：
MMU是Memory Management Unit的缩写， 中文名是内存管理单元,传统上被认为是中央处理器(CPU)中用来管理虚拟存储器、物理存储器的控制线路，同时也负责虚拟地址映射为物理地址，以及提供硬件机制的内存访问授权。随着技术的进步，超大规模SOC芯片的大量出现，SOC中存在大量的独立专用处理电路模块，比如图形图像处理电路，需要的内存空间越来越大，如果不使用虚拟地址空间，操作系统很难满足开辟一段连续的物理地址空间来满足专用处理电路需求。同时由于手持设备的操作系统日益复杂，操作系统期望所有的程序都可以运行在虚拟地址空间中，所以各种专用处理电路对MMU的需求也越来越强烈。由于过去MMU通常只用于CPU，验证环境也针对性验证CPU的MMU结构，目前缺少一种通用的可以用于验证各种IP的MMU的验证方法。有鉴于此，本发明人针对现有技术的缺陷深入研究，并有本案产生。
发明内容本发明所要解决的技术问题在于提供一种SOC芯片中的MMU的验证方法。本发明采用以下技术方案解决上述技术问题一种SOC芯片中的MMU的验证方法，包括如下步骤步骤1:填写专用电路配置文件，描述专用电路发起传输的行为；所述专用电路配置文件中，是配置专用电路发起传输的行为的配置信息；步骤2 :填写MMU配置文件，描述页表在存储器模型中的存放地址，页表大小的信息；所述MMU配置文件，包含页表在存储器模型中的存放地址，页表大小的信息；所述存储器模型，负责存储数据，包含页表存储区和数据区，分别存放页表和其他数据；步骤3 :填写页表产生配置文件，描述页表大小，虚实地址映射关系的页表信息，其中页表大小要和所述MMU配置文件中的页表大小信息一致；所述页表产生配置文件中，包含虚实地址映射关系的页表信息；步骤4 :验证平台开始工作后，页表产生单元读入所述页表产生配置文件后产生用于存放于所述存储器模型中所需格式的页表文件，然后所述存储器模型将页表文件初始化进入所述MMU配置文件中指定的页表存放地址；步骤5 :专用电路行为产生模型自动读入所述专用电路配置文件，并根据所述专用电路配置文件发起读写传输行为，其中访问地址为随机地址；所述专用电路行为产生模型，负责根据专用电路配置文件发起读写传输行为的模型，用于模拟实际专用电路的传输行为；步骤6 :待验证MMU设计自动读入所述MMU配置文件，然后接受所述专用电路行为产生模型发起的传输行为，然后向所述存储器模型中的页表存储地址读取页表信息，进行虚实地址映射后发出映射后地址的传输行为；步骤7:整个传输过程中，原始传输行为采集单元和实际传输行为采集单元始终采集所有的专用电路行为产生模型到待验证MMU设计，待验证MMU设计到存储器模型之间的传输行为，并根据传输行为中的地址信息分别产生原始地址文件和实际映射后地址文件;步骤8 :重复步骤4-步骤7，直到所有传输行为结束；步骤9 :所有传输行为结束后，C模型代码读入原始地址文件和页表产生配置文件，根据页表产生配置文件中的映射信息将原始地址文件的虚地址转为映射后的实地址，并产生期望映射后地址文件； 步骤10 :文件比较单元负责自动读取实际映射后地址文件和期望映射后地址文件，然后将两个文件进行比较后输出结果是否正确的验证结果。进一步地，所述专用电路发起传输的行为，包括不同的突发传输长度、不同的数据位宽。进一步地，所述文件比较单元会报告开始出现错误的地址，方便验证人员找出错误的位置。本发明的优点在于1、针对各种IP的特性来配置IP行为模型的行为，随机地址可以得到更大的验证覆盖率；2、页表自动产生，自动装载，配置灵活，可以覆盖多种页表类型和页表长度；3、传输行为采集单元可以采集所用验证过程中专用电路的行为并产生地址文件，这个过程可以使验证人员观测到整个专用电路工作过程中的地址数据流，方便验证人员 debug。
下面参照附图结合实施例对本发明作进一步的描述。图1是本发明主要工作流程示意图。
具体实施方式如图1所示，一种SOC芯片中的MMU的验证方法，包括如下步骤步骤1:填写专用电路配置文件，描述专用电路发起传输的行为；所述专用电路配置文件中，是配置专用电路发起传输的行为的配置信息；所述专用电路发起传输的行为，可以包含多种传输行为，包括不同的突发传输长度，不同的数据位宽等；步骤2 :填写MMU配置文件，描述页表在存储器模型中的存放地址，页表大小的信息；所述MMU配置文件，包含页表在存储器模型中的存放地址，页表大小的信息；所述存储器模型，负责存储数据，包含页表存储区和数据区，分别存放页表和其他数据；
步骤3 :填写页表产生配置文件，描述页表大小，虚实地址映射关系的页表信息，其中页表大小要和所述MMU配置文件中的页表大小信息一致；所述页表产生配置文件中，包含虚实地址映射关系的页表信息；步骤4 :验证平台开始工作后，页表产生单元读入所述页表产生配置文件后产生用于存放于所述存储器模型中所需格式的页表文件，然后所述存储器模型将页表文件初始化进入所述MMU配置文件中指定的页表存放地址；步骤5 :专用电路行为产生模型自动读入所述专用电路配置文件，并根据所述专用电路配置文件发起读写传输行为，其中访问地址为随机地址；所述专用电路行为产生模型，负责根据专用电路配置文件发起读写传输行为的模型，用于模拟实际专用电路的传输行为； 步骤6 :待验证MMU设计自动读入所述MMU配置文件，然后接受所述专用电路行为产生模型发起的传输行为，然后向所述存储器模型中的页表存储地址读取页表信息，进行虚实地址映射后发出映射后地址的传输行为；步骤7:整个传输过程中，原始传输行为采集单元和实际传输行为采集单元始终采集所有的专用电路行为产生模型到待验证MMU设计，待验证MMU设计到存储器模型之间的传输行为，并根据传输行为中的地址信息分别产生原始地址文件和实际映射后地址文件;步骤8 :重复步骤4 一步骤7，直到所有传输行为结束；步骤9 :所有传输行为结束后，C模型代码读入原始地址文件和页表产生配置文件，根据页表产生配置文件中的映射信息将原始地址文件的虚地址转为映射后的实地址，并产生期望映射后地址文件；步骤10 :文件比较单元负责自动读取实际映射后地址文件和期望映射后地址文件，然后将两个文件进行比较后输出结果是否正确的验证结果。所述文件比较单元会报告开始出现错误的地址，方便验证人员找出错误的位置。如果验证结果正确,表明待验证MMU设计的功能正确，反之功能错误,需要debug。本发明的有益效果在于1、针对各种IP的特性来配置IP行为模型的行为，随机地址可以得到更大的验证覆盖率；2、页表自动产生，自动装载，配置灵活，可以覆盖多种页表类型和页表长度；3、传输行为采集单元可以采集所用验证过程中专用电路的行为并产生地址文件，这个过程可以使验证人员观测到整个专用电路工作过程中的地址数据流，方便验证人员debug。以上所述仅为本发明的较佳实施用例而已，并非用于限定本发明的保护范图。凡在本发明的精神和原则之内，所作的任何修改、等同替换以及改进等，均应包含在本发明的保护范围之内。
权利要求
1.一种SOC芯片中的MMU的验证方法，其特征在于包括如下步骤步骤1:填写专用电路配置文件，描述专用电路发起传输的行为；所述专用电路配置文件中，是配置专用电路发起传输的行为的配置信息；步骤2 :填写MMU配置文件，描述页表在存储器模型中的存放地址，页表大小的信息； 所述MMU配置文件，包含页表在存储器模型中的存放地址，页表大小的信息；所述存储器模型，负责存储数据，包含页表存储区和数据区，分别存放页表和运算源数据及运算结果数据；步骤3:填写页表产生配置文件，描述页表大小，虚实地址映射关系的页表信息，其中页表大小要和所述MMU配置文件中的页表大小信息一致；所述页表产生配置文件中，包含虚实地址映射关系的页表信息；步骤4:验证平台开始工作后，页表产生单元读入所述页表产生配置文件后产生用于存放于所述存储器模型中所需格式的页表文件，然后所述存储器模型将页表文件初始化进入所述MMU配置文件中指定的页表存放地址；步骤5 :专用电路行为产生模型自动读入所述专用电路配置文件，并根据所述专用电路配置文件发起读写传输行为，其中访问地址为随机地址；所述专用电路行为产生模型，负责根据专用电路配置文件发起读写传输行为的模型， 用于模拟实际专用电路的传输行为；步骤6 :待验证MMU设计自动读入所述MMU配置文件，然后接受所述专用电路行为产生模型发起的传输行为，然后向所述存储器模型中的页表存储地址读取页表信息，进行虚实地址映射后发出映射后地址的传输行为；步骤7 :整个传输过程中，原始传输行为采集单元和实际传输行为采集单元始终采集所有的专用电路行为产生模型到待验证MMU设计，待验证MMU设计到存储器模型之间的传输行为，并根据传输行为中的地址信息分别产生原始地址文件和实际映射后地址文件； 步骤8 :重复步骤4 一步骤7，直到所有传输行为结束；步骤9 :所有传输行为结束后，C模型代码读入原始地址文件和页表产生配置文件，根据页表产生配置文件中的映射信息将原始地址文件的虚地址转为映射后的实地址，并产生期望映射后地址文件；步骤10 :文件比较单元负责自动读取实际映射后地址文件和期望映射后地址文件，然后将两个文件进行比较后输出结果是否正确的验证结果。
2.如权利要求1所述的一种SOC芯片中的MMU的验证方法，其特征在于所述专用电路发起传输的行为，包括不同的突发传输长度、不同的数据位宽。
3.如权利要求1所述的一种SOC芯片中的MMU的验证方法，其特征在于所述文件比较单元会报告开始出现错误的地址，方便验证人员找出错误的位置。
全文摘要
一种SOC芯片中的MMU的验证方法，包括页表产生单元读入页表产生配置文件后产生页表文件，存储器模型将页表文件初始化进入MMU配置文件中指定的页表存放地址；专用电路行为产生模型自动读入专用电路配置文件，并根据专用电路配置文件发起读写传输行为；待验证MMU设计自动读入MMU配置文件，然后接受专用电路行为产生模型发起的传输行为，然后向存储器模型中的页表存储地址读取页表信息，进行虚实地址映射后发出映射后地址的传输行为；C模型代码读入原始地址文件和页表产生配置文件，产生期望映射后地址文件；文件比较单元自动读取实际映射后地址文件和期望映射后地址文件，然后将两个文件进行比较后输出结果是否正确的验证结果。
文档编号G06F17/50GK102999663SQ20121046858
公开日2013年3月27日 申请日期2012年11月19日 优先权日2012年11月19日
发明者廖裕民 申请人:福州瑞芯微电子有限公司