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]
@phdthesis{dnb-4050,
title = {A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs)},
author = {Sacha Loitz},
year = {2014},
url = {http://d-nb.info/1049381300},
researchr = {https://researchr.org/publication/dnb-4050},
cites = {0},
citedby = {0},
school = {University of Kaiserslautern},
}