Bracknell, Berkshire
), DFT and Logic Equivalency tools Or Cadence or Synopsys place and route tools (Physical Synthesis, PnR, CTS, Static Timing...