[1]. J. Abrahamet al., (Pierre Auger Collaboration), “Properties and performance of the prototype instrument for the Pierre Auger observatory,”Nucl.Instr.Meth., ser. A,vol. 523, pp. 50–95, May 2004.

[2]. M. Nagano et al.,“Energy spectrum of primary cosmic rays between and eV,” J.Phys. G, vol. 10, pp. 1295–1298, Sep. 1984.

[3]. D. J. Bird et al., “Evidence for correlated changes in the spectrum and composition of cosmic rays at extremely high energies,” Phys. Rev. Lett., vol. 71, pp. 3401–3404, 1993.

[4]. Zhili Zhou, Zheng Xie, Teng Wang. Development of Verification Envioronment for SPI Master Interface Using SystemVerilog.2012 IEEE 11th International Conference on Signal Processing(ICSP 2012).2012,10.

[5]. Qudjida A K. Design and Test of General-purpose SPI Master/Slave IPs on OPB Bus. Proc.ofthe 7th International Conference on Systems Signals and Devices. 2010.

[6]. Martin Keaveneyt, Anthony McMahont, Niall Keeffe, et al. The Development of Advanced Verification Environments Using System Verilog. The 16th Irish System and Signals Conference. ISSC 2008 .June18-192008.

[7]. Ke Han, Zhongliang Deng, Shu Qiong. Verification of AMBA Bus Model Using System Verilog. The Eighth International Conference on Electronic Measurement and Instruments.2007