Die korrekte Funktion des logischen Design eines Prozessor-Chips bestehend aus zig-Milliarden Transistoren, die Millionen von miteinander per Signalleitungen vernetzte Logikgatter bilden, kann nicht diskret aufgebaut und durchgetestet werden. Genau dies geschieht im Schritt der “Verifikation” vor allem durch Simulation. Darüber sprechen wir in dieser Episode mit einem Experten aus der Chipentwicklung im deutschen IBM Labor in Böblingen.