probablesList(circCell, substituteList) {
       orçDelay = orçDelay(circCel);
       for (iterator = substituteList.begin(), iterator != substituteList.end(), iterador++) {
          while(*arcLibCell = iterator.getnext()) {
              degradDelay = libDelayDeg – circDelayDeg;
              degradSlew = libSlewDeg – circSlewDeg;
              if((degradDelay > orçDelay) && (degradSlew > limSlew) {
              break;
              }
           }
           probablesList.insert();
      }
}
Algorithm 5: Pseudocode for determining the probable cells list.