Annealer

Annealer adds reliability enhancements to structured elements (Modules, RAMs, ROMs, Register Files, FIFOs) to improves fault detection / fault tolerance. These include

  • Addition of error detection and / or correction codes (Hamming)
  • Redundant logic for fault detection and fault tolerance (duplicate / triplicate)
  • Protocol checks (Interface parity, address alignment, beat count)

Annealer provides collateral to assess the effectiveness of the safety mechanism (simulation)

Annealer provides collateral for functional verification (formal and simulation)

The Annealer macro safety mechanism addition flow is shown below:

Macro safety mechanism addition flow

Note:- Patent Pending