A hardware verification method includes obtaining a set of packets to be
driven by a device under test and obtaining a set of timing and relation
criteria which determines a sequence in which the packets should be driven
by the device under test. The method further includes starting multiple
drive loops, each drive loop picking up a packet and forcing the device
under test to drive the packet. The method further includes starting
multiple expect loops, each expect loop determining when to expect a
packet driven by the device under test and picking up the expected packet
when it arrives. For each drive loop, the method confirms that the timing
and relation criteria are satisfied prior to allowing the drive loop to
force the device under test. For each expect loop, the method checks if
the expected packet arrives within a specified time period and raises an
error flag if the expected packet does not arrive within the specified
time period.
Un metodo di verifica dei fissaggi include ottenere un insieme dei pacchetti da guidare da un dispositivo sotto la prova ed ottenere un insieme della sincronizzazione e dei test di verifica di rapporto che determina una sequenza in cui i pacchetti dovrebbero essere guidati dal dispositivo sotto la prova. Il metodo ulteriore include iniziare i cicli multipli dell'azionamento, ogni raccolto del ciclo dell'azionamento su un pacchetto e la forzatura del dispositivo sotto la prova per guidare il pacchetto. Il metodo ulteriore include iniziare il multiplo prevede i cicli, ciascuno prevede il ciclo che determina quando prevedere un pacchetto guidato dal dispositivo sotto la prova e che seleziona sul pacchetto previsto quando arriva. Per ogni ciclo dell'azionamento, il metodo conferma che la sincronizzazione ed i test di verifica di rapporto sono soddisfatti prima del permettere che il ciclo dell'azionamento forzi il dispositivo sotto la prova. Per ciascuno preveda il ciclo, i controlli di metodo se il pacchetto previsto arriva durante un periodo specificato di tempo ed alza una bandierina di errore se il pacchetto previsto non arriva durante il periodo specificato di tempo.
