Preprocessing for property checking of sequential circuits on the register transfer level [Elektronische Ressource] = Vorverarbeitung für die Überprüfung von Eigenschaften sequentieller Schaltungen auf der Register-Transfer-Ebene / von Raik Brinkmann