A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs)

Sacha Loitz. A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs). PhD thesis, University of Kaiserslautern, 2014. [doi]

Abstract

Abstract is missing.