一种AMBA总线模块验证方法、系统、设备以及存储介质与流程

一种amba总线模块验证方法、系统、设备以及存储介质
技术领域
1.本发明涉及测试领域，具体涉及一种amba(advanced microcontroller bus architecture，高级微控制器总线体系结构)总线模块验证方法、系统、设备以及存储介质。


背景技术：

2.根据不同的应用场景需求，amba总线逐步发展出了apb、ahb、axi等不同的总线类型，在对使用amba总线的模型进行验证时，通常会构建寄存器模型，或选择合适的验证ip集成到验证平台，但是由于总线类型的区别，验证不同的模块需要集成不同的验证ip，且不同的验证ip使用上也存在区别，从而导致时间成本较大，验证平台也较为复杂。


技术实现要素：

3.有鉴于此，为了克服上述问题的至少一个方面，本发明实施例提出一种amba总线模块验证方法，包括以下步骤：
4.获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
5.建立所述总线模型和所述待验证amba总线模块的连接；
6.利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
7.将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
8.在一些实施例中，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型，进一步包括：
9.获取所述待验证amba总线模块的每一个端口的配置信息；
10.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
11.集成每一个所述端口对应的子模型得到所述总线模型。
12.在一些实施例中，获取所述待验证amba总线模块的每一个端口的配置信息，进一步包括：
13.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
14.在一些实施例中，建立所述总线模型和所述待验证amba总线模块的连接，进一步包括：
15.将所述总线模型连接到用于产生事务的第一组件；
16.将所述第一组件连接到用于驱动事务的第二组件；
17.将所述第二组件连接到所述待验证amba总线模块。
18.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
19.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
20.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
21.在一些实施例中，还包括：
22.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；
23.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
24.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
25.创建测试序列库；
26.从所述测试序列库中获取所述测试序列。
27.基于同一发明构思，根据本发明的另一个方面，本发明的实施例还提供了一种amba总线模块验证系统，包括：
28.生成模块，配置为获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
29.连接模块，配置为建立所述总线模型和所述待验证amba总线模块的连接；
30.测试模块，配置为利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
31.验证模块，配置为将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
32.在一些实施例中，生成模块还配置为：
33.获取所述待验证amba总线模块的每一个端口的配置信息；
34.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
35.集成每一个所述端口对应的子模型得到所述总线模型。
36.在一些实施例中，生成模块还配置为：
37.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
38.在一些实施例中，连接模块还配置为：
39.将所述总线模型连接到用于产生事务的第一组件；
40.将所述第一组件连接到用于驱动事务的第二组件；
41.将所述第二组件连接到所述待验证amba总线模块。
42.在一些实施例中，测试模块还配置为：
43.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
44.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
45.在一些实施例中，测试模块还配置为：
46.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱
动到所述待验证amba总线模块；
47.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
48.在一些实施例中，测试模块还配置为：
49.创建测试序列库；
50.从所述测试序列库中获取所述测试序列。
51.基于同一发明构思，根据本发明的另一个方面，本发明的实施例还提供了一种计算机设备，包括：
52.至少一个处理器；以及
53.存储器，所述存储器存储有可在所述处理器上运行的计算机程序，所述处理器执行所述程序时执行如上所述的任一种amba总线模块验证方法的步骤。
54.基于同一发明构思，根据本发明的另一个方面，本发明的实施例还提供了一种计算机可读存储介质，所述计算机可读存储介质存储有计算机程序，所述计算机程序被处理器执行时执行如上所述的任一种amba总线模块验证方法的步骤。
55.本发明具有以下有益技术效果之一：本发明提出的方案通过构建总线模型对使用amba总线的模块进行验证，相较于使用寄存器模型，无需使用转换器进行事务转换，同时可以直接进行数据对比，也无需搭建监测器和计分板，简化了验证平台，提高了验证效率。
附图说明
56.为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的实施例。
57.图1为本发明的实施例提供的amba总线模块验证方法的流程示意图；
58.图2为本发明的实施例提供的总线模型和待验证的amba总线模块的连接示意图；
59.图3为本发明的实施例提供的amba总线模块验证系统的结构示意图；
60.图4为本发明的实施例提供的计算机设备的结构示意图；
61.图5为本发明的实施例提供的计算机可读存储介质的结构示意图。
具体实施方式
62.为使本发明的目的、技术方案和优点更加清楚明白，以下结合具体实施例，并参照附图，对本发明实施例进一步详细说明。
63.需要说明的是，本发明实施例中所有使用“第一”和“第二”的表述均是为了区分两个相同名称非相同的实体或者非相同的参量，可见“第一”“第二”仅为了表述的方便，不应理解为对本发明实施例的限定，后续实施例对此不再一一说明。
64.在本发明的实施例中，uvm(universal verification methodology，通用验证方法学)；sequencer(uvm组件)，一种用于产生事务的序列发生器；driver(uvm组件)，一种用于驱动事务的驱动器。
65.根据本发明的一个方面，本发明的实施例提出一种amba总线模块验证方法，如图1
所示，其可以包括步骤：
66.s1，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
67.s2，建立所述总线模型和所述待验证amba总线模块的连接；
68.s3，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
69.s4，将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
70.本发明提出的方案通过构建总线模型对使用amba总线的模块进行验证，相较于使用寄存器模型，无需使用转换器进行事务转换，同时可以直接进行数据对比，也无需搭建监测器和计分板，简化了验证平台，提高了验证效率。
71.在一些实施例中，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型，进一步包括：
72.获取所述待验证amba总线模块的每一个端口的配置信息；
73.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
74.集成每一个所述端口对应的子模型得到所述总线模型。
75.具体的，根据待验证amba总线模块的总线类型及功能，在例化总线模型时，通过调用configure函数完成总线模型配置。如果待验证模块有不止一种总线端口，可例化多个模型，分别完成配置，并通过更高层级的模型集成它们。之后调用set_hdl_path函数将待测模块的关键信号映射到总线模型，从而方便后续通过后门方式访问待验证amba总线模块的关键信号，实现数据比对。
76.在一些实施例中，获取所述待验证amba总线模块的每一个端口的配置信息，进一步包括：
77.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
78.具体的，可以使用类的方式搭建一个amba总线模型库，amba总线模型库预留了全部总线的配置信息，使用类的成员变量表示，如总线类型、地址/数据位宽、主/从选择、传输类型等，对这些成员变量的约束满足总线协议规范。另外，模型库还会提供一些常规的任务/函数，如configure、set_hdl_path、write、read、check等，这些任务/函数的作用一是配置模型，二是配置总线上待验证模块的控制信息，三是实现待测模块与总线模型的映射。
79.在一些实施例中，建立所述总线模型和所述待验证amba总线模块的连接，进一步包括：
80.将所述总线模型连接到用于产生事务的第一组件；
81.将所述第一组件连接到用于驱动事务的第二组件；
82.将所述第二组件连接到所述待验证amba总线模块。
83.具体的，如图2所示，由于总线模型发送的是对应类型的总线事务，所以不需要使用转换器进行事务转换，可以直接将总线模型连接sequencer(第一组件)，然后通过driver(第二组件)驱动到待测模块。
84.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
85.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
86.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
87.在一些实施例中，还包括：
88.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；
89.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
90.具体的，如图2所示，若执行写数据操作，测试序列控制发出的写数据首先会储存在总线模型，然后驱动到待验证amba总线模块(dut)。执行读数据操作时，读操作控制信号通过同样的方式驱动到dut。而返回的读数据通过反方向(driver到sequencer)返回总线模型，读回数据更新模型相关变量，完成模块信息和dut的同步。可根据需求随时调用模型中check函数，通过后门访问dut数据，实现模型与dut数据比对，从而判断dut功能是否正确。这样依次选择测试序列进行仿真验证，可快速实现待测模块中总线功能相关的验证。
91.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
92.创建测试序列库；
93.从所述测试序列库中获取所述测试序列。
94.具体的，根据测试功能的不同，测试序列库中的测试序列选择调用总线模型的相关任务/函数，丰富完善的测试序列库保证验证功能的完备性，也节省了撰写测试序列的成本。amba总线模型库和测试序列库是通用的，搭建完成后，每次模块验证可通过继承或调用的方式使用这两个库。
95.本发明提出的方案在对使用amba总线的模块进行验证时，在验证平台中搭建一套amba总线模型，并将相关的测试序列保存在测试序列库中。类比寄存器模型中对寄存器属性的建模，amba总线模型也实现了不同总线属性的建模。只需要根据总线类型和应用需求，选择配置模型属性，再根据需求从测试序列库中调用测试序列，即可完成总线的驱动。使用amba总线模型另一好处是可直接实现数据比对，不需要再搭建监测器和计分板，简化了验证平台。
96.基于同一发明构思，根据本发明的另一个方面，本发明的实施例还提供了一种amba总线模块验证系统400，如图3所示，包括：
97.生成模块401，配置为获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
98.连接模块402，配置为建立所述总线模型和所述待验证amba总线模块的连接；
99.测试模块403，配置为利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
100.验证模块404，配置为将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
101.本发明提出的方案通过构建总线模型对使用amba总线的模块进行验证，相较于使用寄存器模型，无需使用转换器进行事务转换，同时可以直接进行数据对比，也无需搭建监测器和计分板，简化了验证平台，提高了验证效率。
102.在一些实施例中，生成模块401还配置为：
103.获取所述待验证amba总线模块的每一个端口的配置信息；
104.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
105.集成每一个所述端口对应的子模型得到所述总线模型。
106.在一些实施例中，生成模块401还配置为：
107.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
108.在一些实施例中，连接模块402还配置为：
109.将所述总线模型连接到用于产生事务的第一组件；
110.将所述第一组件连接到用于驱动事务的第二组件；
111.将所述第二组件连接到所述待验证amba总线模块。
112.在一些实施例中，测试模块403还配置为：
113.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
114.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
115.在一些实施例中，测试模块403还配置为：
116.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；
117.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
118.在一些实施例中，测试模块403还配置为：
119.创建测试序列库；
120.从所述测试序列库中获取所述测试序列。
121.本发明提出的方案在对使用amba总线的模块进行验证时，在验证平台中搭建一套amba总线模型，并将相关的测试序列保存在测试序列库中。类比寄存器模型中对寄存器属性的建模，amba总线模型也实现了不同总线属性的建模。只需要根据总线类型和应用需求，选择配置模型属性，再根据需求从测试序列库中调用测试序列，即可完成总线的驱动。使用amba总线模型另一好处是可直接实现数据比对，不需要再搭建监测器和计分板，简化了验证平台。
122.基于同一发明构思，根据本发明的另一个方面，如图4所示，本发明的实施例还提供了一种计算机设备501，包括：
123.至少一个处理器520；以及
124.存储器510，存储器510存储有可在处理器上运行的计算机程序511，处理器520执行程序时执行以下步骤：
125.s1，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中
以生成总线模型；
126.s2，建立所述总线模型和所述待验证amba总线模块的连接；
127.s3，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
128.s4，将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
129.在一些实施例中，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型，进一步包括：
130.获取所述待验证amba总线模块的每一个端口的配置信息；
131.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
132.集成每一个所述端口对应的子模型得到所述总线模型。
133.在一些实施例中，获取所述待验证amba总线模块的每一个端口的配置信息，进一步包括：
134.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
135.在一些实施例中，建立所述总线模型和所述待验证amba总线模块的连接，进一步包括：
136.将所述总线模型连接到用于产生事务的第一组件；
137.将所述第一组件连接到用于驱动事务的第二组件；
138.将所述第二组件连接到所述待验证amba总线模块。
139.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
140.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
141.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
142.在一些实施例中，还包括：
143.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；
144.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
145.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
146.创建测试序列库；
147.从所述测试序列库中获取所述测试序列。
148.本发明提出的方案在对使用amba总线的模块进行验证时，在验证平台中搭建一套amba总线模型，并将相关的测试序列保存在测试序列库中。类比寄存器模型中对寄存器属性的建模，amba总线模型也实现了不同总线属性的建模。只需要根据总线类型和应用需求，选择配置模型属性，再根据需求从测试序列库中调用测试序列，即可完成总线的驱动。使用
amba总线模型另一好处是可直接实现数据比对，不需要再搭建监测器和计分板，简化了验证平台。
149.基于同一发明构思，根据本发明的另一个方面，如图5所示，本发明的实施例还提供了一种计算机可读存储介质601，计算机可读存储介质601存储有计算机程序610，计算机程序610被处理器执行时执行以下步骤：
150.s1，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
151.s2，建立所述总线模型和所述待验证amba总线模块的连接；
152.s3，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；
153.s4，将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。
154.在一些实施例中，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型，进一步包括：
155.获取所述待验证amba总线模块的每一个端口的配置信息；
156.将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；
157.集成每一个所述端口对应的子模型得到所述总线模型。
158.在一些实施例中，获取所述待验证amba总线模块的每一个端口的配置信息，进一步包括：
159.获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。
160.在一些实施例中，建立所述总线模型和所述待验证amba总线模块的连接，进一步包括：
161.将所述总线模型连接到用于产生事务的第一组件；
162.将所述第一组件连接到用于驱动事务的第二组件；
163.将所述第二组件连接到所述待验证amba总线模块。
164.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
165.响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；
166.依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。
167.在一些实施例中，还包括：
168.响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；
169.将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。
170.在一些实施例中，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：
171.创建测试序列库；
172.从所述测试序列库中获取所述测试序列。
173.本发明提出的方案在对使用amba总线的模块进行验证时，在验证平台中搭建一套amba总线模型，并将相关的测试序列保存在测试序列库中。类比寄存器模型中对寄存器属性的建模，amba总线模型也实现了不同总线属性的建模。只需要根据总线类型和应用需求，选择配置模型属性，再根据需求从测试序列库中调用测试序列，即可完成总线的驱动。使用amba总线模型另一好处是可直接实现数据比对，不需要再搭建监测器和计分板，简化了验证平台。
174.最后需要说明的是，本领域普通技术人员可以理解实现上述实施例方法中的全部或部分流程，可以通过计算机程序来指令相关硬件来完成，程序可存储于一计算机可读取存储介质中，该程序在执行时，可包括如上述各方法的实施例的流程。
175.此外，应该明白的是，本文的计算机可读存储介质(例如，存储器)可以是易失性存储器或非易失性存储器，或者可以包括易失性存储器和非易失性存储器两者。
176.本领域技术人员还将明白的是，结合这里的公开所描述的各种示例性逻辑块、模块、电路和算法步骤可以被实现为电子硬件、计算机软件或两者的组合。为了清楚地说明硬件和软件的这种可互换性，已经就各种示意性组件、方块、模块、电路和步骤的功能对其进行了一般性的描述。这种功能是被实现为软件还是被实现为硬件取决于具体应用以及施加给整个系统的设计约束。本领域技术人员可以针对每种具体应用以各种方式来实现的功能，但是这种实现决定不应被解释为导致脱离本发明实施例公开的范围。
177.以上是本发明公开的示例性实施例，但是应当注意，在不背离权利要求限定的本发明实施例公开的范围的前提下，可以进行多种改变和修改。根据这里描述的公开实施例的方法权利要求的功能、步骤和/或动作不需以任何特定顺序执行。此外，尽管本发明实施例公开的元素可以以个体形式描述或要求，但除非明确限制为单数，也可以理解为多个。
178.应当理解的是，在本文中使用的，除非上下文清楚地支持例外情况，单数形式“一个”旨在也包括复数形式。还应当理解的是，在本文中使用的“和/或”是指包括一个或者一个以上相关联地列出的项目的任意和所有可能组合。
179.上述本发明实施例公开实施例序号仅仅为了描述，不代表实施例的优劣。
180.本领域普通技术人员可以理解实现上述实施例的全部或部分步骤可以通过硬件来完成，也可以通过程序来指令相关的硬件完成，程序可以存储于一种计算机可读存储介质中，上述提到的存储介质可以是只读存储器，磁盘或光盘等。
181.所属领域的普通技术人员应当理解：以上任何实施例的讨论仅为示例性的，并非旨在暗示本发明实施例公开的范围(包括权利要求)被限于这些例子；在本发明实施例的思路下，以上实施例或者不同实施例中的技术特征之间也可以进行组合，并存在如上的本发明实施例的不同方面的许多其它变化，为了简明它们没有在细节中提供。因此，凡在本发明实施例的精神和原则之内，所做的任何省略、修改、等同替换、改进等，均应包含在本发明实施例的保护范围之内。

技术特征：
1.一种amba总线模块验证方法，其特征在于，包括以下步骤：获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；建立所述总线模型和所述待验证amba总线模块的连接；利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。2.如权利要求1所述的方法，其特征在于，获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型，进一步包括：获取所述待验证amba总线模块的每一个端口的配置信息；将每一个所述端口的配置信息输入到总线模型库中生成每一个所述端口对应的子模型；集成每一个所述端口对应的子模型得到所述总线模型。3.如权利要求2所述的方法，其特征在于，获取所述待验证amba总线模块的每一个端口的配置信息，进一步包括：获取所述待验证amba总线模块的每一个端口的总线类型、地址/数据位宽、主/从选择以及传输类型。4.如权利要求1所述的方法，其特征在于，建立所述总线模型和所述待验证amba总线模块的连接，进一步包括：将所述总线模型连接到用于产生事务的第一组件；将所述第一组件连接到用于驱动事务的第二组件；将所述第二组件连接到所述待验证amba总线模块。5.如权利要求4所述的方法，其特征在于，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：响应于执行写操作，利用所述测试序列将待写入的数据存储在所述总线模型；依次通过所述第一组件和所述第二组件将所述总线模型中的待写入的数据驱动到所述待验证amba总线模块。6.如权利要求5所述的方法，其特征在于，还包括：响应于执行读操作，将读操作控制信号依次通过所述第一组件和所述第二组件驱动到所述待验证amba总线模块；将从所述待验证amba总线模块读取到的数据依次经过所述第二组件和所述第一组件返回所述总线模型。7.如权利要求1所述的方法，其特征在于，利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作，进一步包括：创建测试序列库；从所述测试序列库中获取所述测试序列。8.一种amba总线模块验证系统，其特征在于，包括：生成模块，配置为获取待验证amba总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；
连接模块，配置为建立所述总线模型和所述待验证amba总线模块的连接；测试模块，配置为利用测试序列对所述总线模型和所述待验证amba总线模块进行总线事务操作；验证模块，配置为将所述总线模型和所述待验证amba总线模块中的数据进行对比以验证所述待验证amba总线模块的功能。9.一种计算机设备，包括：至少一个处理器；以及存储器，所述存储器存储有可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时执行如权利要求1-7任意一项所述的方法的步骤。10.一种计算机可读存储介质，所述计算机可读存储介质存储有计算机程序，其特征在于，所述计算机程序被处理器执行时执行如权利要求1-7任意一项所述的方法的步骤。

技术总结
本发明公开了一种AMBA总线模块验证方法，包括以下步骤：获取待验证AMBA总线模块的配置信息并将所述配置信息输入到总线模型库中以生成总线模型；建立所述总线模型和所述待验证AMBA总线模块的连接；利用测试序列对所述总线模型和所述待验证AMBA总线模块进行总线事务操作；将所述总线模型和所述待验证AMBA总线模块中的数据进行对比以验证所述待验证AMBA总线模块的功能。本发明还公开了一种系统、计算机设备以及可读存储介质。本发明提出的方案通过构建总线模型对使用AMBA总线的模块进行验证，相较于使用寄存器模型，无需使用转换器进行事务转换，同时可以直接进行数据对比，也无需搭建监测器和计分板，简化了验证平台，提高了验证效率。了验证效率。了验证效率。


技术研发人员：李维杰
受保护的技术使用者：山东云海国创云计算装备产业创新中心有限公司
技术研发日：2023.04.14
技术公布日：2023/7/20