Eine skalierbare formale Verifikationsmethodik für datenunabhängige Hardware

Eine skalierbare Methodik zur formalen Verifikation von Datenunabhängigkeit in Hardware.