Unlock instant, AI-driven research and patent intelligence for your innovation.

Verification method, device, equipment and storage medium for hybrid protocol conversion design

A hybrid protocol and verification method technology, applied in the field of network communication, can solve problems such as complex verification design, achieve the effect of shortening the verification cycle, solving design change problems, and quickly modifying assertions

Active Publication Date: 2022-05-06
天津市滨海新区信息技术创新中心 +1
View PDF7 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The embodiment of the present invention provides a verification method, device, storage medium and equipment for hybrid protocol conversion design, so as to solve the technical problem of complex verification design for hybrid protocol conversion design in the prior art

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Verification method, device, equipment and storage medium for hybrid protocol conversion design
  • Verification method, device, equipment and storage medium for hybrid protocol conversion design
  • Verification method, device, equipment and storage medium for hybrid protocol conversion design

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0081] figure 1 It is a schematic flow diagram of a verification method for a hybrid protocol conversion design provided in Embodiment 1 of the present invention. This embodiment is applicable to the case of verifying whether the hybrid protocol conversion design is correct, and the method can be executed by a verification device for a hybrid protocol conversion design. Specifically include the following steps:

[0082] S110. Generate a constraint assertion corresponding to each interface according to the stimulus input form and constraint condition of the hybrid protocol and the corresponding input interface.

[0083] Assertions are used to test whether the assumptions in the program are correct. In this embodiment, the constraint assertion may be a logical relationship between different input signals in an excitation input mode. It can be expressed as various logical expressions. Used to constrain each input quantity. In this embodiment, a constraint assertion correspond...

Embodiment 2

[0095] Figure 5 A schematic flowchart of a verification method designed for hybrid protocol conversion provided in Embodiment 2 of the present invention. This embodiment is optimized on the basis of the above-mentioned embodiments. In this embodiment, the verification result is obtained by comparing the output result with the check assertion. The specific optimization is: when various constraint assertions are input, all output If the structure conforms to the corresponding check assertion, the verification result is completely passed.

[0096] Correspondingly, the verification method for hybrid protocol conversion design provided in this embodiment specifically includes:

[0097] S210. Generate a constraint assertion corresponding to each interface according to the stimulus input form and constraint condition of the hybrid protocol and the corresponding input interface.

[0098] S220. Generate check assertions corresponding to each interface according to the output form an...

Embodiment 3

[0107] Image 6 A schematic flowchart of a verification method designed for hybrid protocol conversion provided in Embodiment 3 of the present invention. This embodiment is optimized on the basis of the above-mentioned embodiments. In this embodiment, the input of the excitation input signal into the hybrid protocol conversion design is specifically optimized as follows: input the excitation input signal into the preset in the mixed-protocol translation design code path.

[0108] Correspondingly, the verification method for hybrid protocol conversion design provided in this embodiment specifically includes:

[0109] S310. Generate a constraint assertion corresponding to each interface according to the stimulus input form and constraint condition of the hybrid protocol and the corresponding input interface.

[0110] S320. Generate a check assertion corresponding to each interface according to the output form and expected format of each output port of the hybrid protocol.

[...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The embodiment of the present invention discloses a hybrid protocol conversion design verification method, device, device, and storage medium, wherein the method includes: generating A constraint assertion corresponding to each interface; according to the output form and expected format of each output port of the mixed protocol, generate a check assertion corresponding to each interface; determine the clock signal and reset signal of the verification object; input the excitation input signal to the In the hybrid protocol conversion design described above, the excitation input signal includes: a constraint assertion, a clock signal and a reset signal; an output result is received, and a verification result is obtained according to a comparison result between the output result and the check assertion. It can maximize the traversal of message types and incentive combinations to ensure the completeness of verification; it can quickly realize conversion support for different protocols according to changes in requirements.

Description

technical field [0001] The invention relates to the technical field of network communication, in particular to a verification method and system for hybrid protocol conversion design. Background technique [0002] The mixed protocol conversion design includes the mutual conversion of communication protocols such as RapidIO, PCIE, Ethernet, Fiber Channel and custom protocols, and the design complexity is extremely high. After the hybrid protocol conversion design is completed, it needs to be verified to ensure that the hybrid protocol conversion design is safe and reliable. [0003] The current conventional verification method for hybrid protocol conversion design is to build a verification platform based on UVM (Universal Verification Methodology) verification methodology. The verification platform includes four components: stimulus generator, configuration generator, reference model, and automatic comparator. Among them, the incentive generator randomly generates each proto...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): H04L9/40H04L69/08
CPCH04L69/08H04L63/12
Inventor 徐庆阳刘勤让沈剑良刘冬培吕平宋克朱珂钟丹杨晓龙宋刚杨堃王盼汪欣丁青子黑建平
Owner 天津市滨海新区信息技术创新中心