A Full-Featured Verification Intellectual Property and Its Application in GJB RFID Protocol

Zheng Xie,Mingjiang Wang,Shanshan Yong,Xinan Wang
DOI: https://doi.org/10.1109/icsict.2016.7999038
2016-01-01
Abstract:This paper proposes a full-featured Verification Intellectual Property (VIP) which can be used in functional verification at transaction level. The VIP includes a gold testcase set, a hierarchical testbench and a functional model. Firstly, the natural language specification is quantified and converted to the structured specification models. Secondly, the models are transformed into the codes of testcase generator, coverage collector, and reference model simultaneously by the templates. The mappings in the two processes ensure the completeness, the traceability and the learnability of the verification resource. Through the VIP produced by this methodology, the efficiency of modeling and debugging was improved. And its application in GJB RFID protocol at 800/900MHz guaranteed that the taped out succeeded.
What problem does this paper attempt to address?