1.一种基于systemverilog的AHB核随机验证方法，其特征在于包括：
第一步骤：采用激励驱动模块在每个周期开始时读取激励生成模块的数据，并传输至待测IP模块；
第二步骤：采用反馈信号收集模块在周期结束时，将激励驱动模块中从机的数据反馈给激励发生模块的主机；
第三步骤：采用激励生成模块根据反馈信号收集模块提供的数据，约束下一周期的允许输入种类列表，并在下一周期开始从允许输入种类列表中随机挑选一种种类；
第四步骤：采用监视校验模块在每个周期收集待测IP的输入输出信息并打印到log，然后检查该输入输出信息是否符合断言要求；
第五步骤：采用断言模块根据IP预定时刻的状态直接对比义判断是否符合预定协议的要求。
2.根据权利要求1所述的基于systemverilog的AHB核随机验证方法，其特征在于，在第四步骤，生成的数据与参考数据对比并产生log的代码。
3.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，断言模块则是systemverilog中的断言功能的实体化。
4.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，主机生成向量的约束代码。
5.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，从机生成向量的约束代码。
6.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，主机响应从机信号的代码。
7.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，激励生成模块包括：主机发生产生模块、从机发生产生模块、主机队列以及从机队列；主机队列以及从机队列分别继承各自基类中的约束信息，并且按照约束条件在每个时钟周期开始的一刻随机生成各个信号的值。
8.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，监视校验模块包括监视校验模块以及校验模块，监视模块使用systemverilog中的语法，在每个周期开始的时候，打印所有的输入输出信息到log文件中；校验模块则是在对应时间点将断言中发现的违反协议的部分同时打印在log文件中。
9.根据权利要求1或2所述的基于systemverilog的AHB核随机验证方法，其特征在于，断言模块用于将AHB总线协议翻译为信号间逻辑关系并在每个周期开始时检查各个输入之间是否满足预定条件，然后在每个周期结束时检查各个输出是否得到了期望值。