Eine einfache Überlegung zeigt, dass eine vollständige Verifikation durch ein Ausprobieren aller möglichen Konstellationen - hier vollständige Simulation genannt - auch für kleine Schaltungen nicht möglich ist.
Hier sei ein einfaches 256 Bit-DRAM betrachtet. Ein solcher Speicher hat 2256 verschiedene interne Zustände und zehn Eingangssignale (Schreib-/ Lesesteuerung, Dateneingang und eine acht Bit breite Adresse), d.h. es gibt 210 mögliche Eingangskombinationen. Insgesamt gibt es also 2256+10 = 2266 ~ 1080 zu untersuchende Konstellationen.
Angenommen
- wir hätten alle Materie der Welt zur Verfügung
- jeder Computer bestünde aus einem Elektron
- jeder Computer simulierte 1012 Eingangsbelegungen pro Sekunde
- wir hätten die Simulation zum Zeitpunkt des Urknalls gestartet,
dann hätten wir bis heute etwa 0,03% aller möglichen Eingangskombinationen und Zustände der Schaltung getestet.