USB IP Verification Based On The Hardware Verification Language JEDA

Because the hardware design technology develops very fast and the IC capacityis more and more large, the verification of the design is much harder than before.Using HDL to do the verification is widely used in the IC design, but the describeability of the HDL is very weak, so the work in coding is very large. HarewareVerification Language (HVL) is a language specially designed for hardwareverification. It can help the engineer to do the verification more easily and quickly.In this paper the HVL being used is Jeda. It provides the verification mechanism, sothe verification efficiency is improved greatly. In this paper the feature and grammarare been introduced in detail.USB protocol is a complex protocol. It is not easy to verify USB devices.We use the down-top's gray-boxing testing. We first analyze the data streamin the transfer, and decide the verification method and scope. According to thedata in the transfer, the verification is devided into three levels: Packet Level,Transaction Level and IRP Level. We implement the test environment in thesethree levels, and do the verification to the USB IP. We anayze the result, andcompare it with the expected. They proved that the verification we design canverify the USB device well.Hareware verification is the weak point in the IC design, using theadvanced technologies is the good way to solve it. The verification of the USBwill be benefit to us in the future.