Testbench Implementation For PCI-AMBA Protocol Conversion IP Core Based On UVM Verification Methodology

With the development of integrated circuits technology and improvement of its design,the design of So C is becoming increasingly complexed,and the function is more and more powerful as well.This causes the verification of So C design becomes a big challenge in the design of integrated circuits.The paper finished the verification of PCI-AMBA bridge based on the universal verification methodology(UVM).The PCI-AMBA bridge paves the pathway between the PCI bus and the AHB bus,and realizes the transformation between the protocol.In this design,the PCI-end is responsible for generating the operation request of the whole bridge,transmitting the command and data to the AHB-end.Based on these work schemes and functions of the RTL design,the thesis builds a verification platform using UVM as flows.Firstly,according to the design requirement of the PCI-AMBA bridge,this paper extracts the function feature points and designs the sequence in the verification platform based on them.It is noted that sequence sends random transaction to pci_msr_drv module.Secondly,the thesis uses virtual interface to synchronize the various transactions,and adds specific constraints to the transactions according to the characteristics of bus protocol.In this way the efficiency of the verification is improved.In this paper,we employed the pci_msr_drv module to stimulate the PCI master model,retrieve the packet from it repeatedly,and convert the transaction packet into a logical level signal to the PCI2 AHB module via the pci_if.Meanwhile,pci_mtr are used to collect the transaction level signal through pci_mtr_if module and monitor whether the transaction meets the protocol specification.If it meets the provisions of the protocol,the samples of interface information from the DUV is converted into abstract transaction then sent to the predictor.The pci2ahb_scb module collects predicted output from the predictor and the actual output from the DUV,then make a comparison between them to test the validity of the data.The execution of verification is using simulation phase methods.And the environment is configured by configuration parameters.As well,the functional coverage is collected and uses the assertion to test the interface protocol.Finally,the entire verification platform is implemented.The thesis adopts the controlled random method and coverage-driven method to generate test cases,according to the different scenario of pci_pkt and ahb_pkt,the corresponding data items are set different constraints.Finally,the functional coverage and code coverage reaches 100% and 94.20%,and assertion coverage reaches 100%.