公开(公告)号：GB2520268A

公开(公告)日：2015-05-20

申请号：GB201319987

申请日：2013-11-13

Applicant: IBM

Inventor： RUF JUERGEN ,  GREINER CARSTEN ,  ALLMENDINGER DIRK ,  MATAYAMBATH ROOPESH AMBALATH

IPC: H04L1/24 ,  H04L12/26

Abstract: The invention is an error injector 212 to be inserted between devices 202/4 connected by a packet communications link and intended to intercept packets traversing that link. The invention is preferably used for testing hardware description language (HDL) designs of systems on chips (SoC). It is preferably applied to packet links using the Peripheral Component Interface Express (PCIe) or Infiniband protocols. The invention randomly selects packets 302 and caches a copy 310 in a buffer. It compares the length of subsequent packets 304/6 with the stored packet and determines whether to replace 308 the subsequent packet with the stored packet 312. Preferably substitution only occurs if both packets have identical lengths. The invention allows validly formatted packets with out of order sequence numbers to be inserted without the need for the error injector to create them. Thereby avoiding CRC generation and similar.

公开(公告)号：GB2512888A

公开(公告)日：2014-10-15

申请号：GB201306497

申请日：2013-04-10

Applicant: IBM

Inventor： RUF JUERGEN ,  GREINER CARSTEN ,  KOCH GERRIT ,  WERNER KEN

IPC: G06F17/50 ,  G06F11/36

Abstract: A verification assistance method is used for reviewing verifica­tion data for a digital circuit design. In order to reduce the time and effort spent on the verification, the verification assistance method stores user operation information (SB4) and recommends a user operation based on said user opera­tion information (SB1). In particular the user operation information relates to a position of a user operation in a previous sequence of user operations and the recommended user operation may correspond to an operation in the previous sequence.