The invention discloses an asynchronous first-in first-out memory
verification method, device and equipment and a medium, and relates to the technical field of
integrated circuit design and
verification, and the method comprises the steps: analyzing a temporary memory transfer
language code, detecting whether a statement is complete or not and whether bit width and depth parameters of a memory unit are consistent with design specifications or not, and obtaining a detection result; verifying the
clock domain affiliation of the read-
write pointer generation logic to obtain a first
verification result; verifying the synchronization chain level, the
Gray code coding and the
clock domain isolation to obtain a second verification result; verifying the
data integrity and the
error processing mechanism through the
test case to obtain a third verification result; determining a coverage rate
heat map according to the coverage rate data, and verifying the completeness of the
test case to obtain a fourth verification result; and generating a verification report according to the detection result, the first verification result, the second verification result, the third verification result, the fourth verification result and the coverage rate
heat map to complete verification. And automatic verification of the asynchronous first-in first-out memory is realized.