Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking. - Sacha Loitz; Markus Wedler; Christian Brehm; Timo Vogt; Norbert Wehn; Wolfgang Kunz (SASP, 2008)

Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. - Sacha Loitz; Markus Wedler; Dominik Stoffel; Christian Brehm; Norbert Wehn; Wolfgang Kunz (FDL, 2010)

Validation of channel decoding ASIPs a case study. - Christian Brehm; Norbert Wehn; Sacha Loitz; Wolfgang Kunz (International Symposium on Rapid System Prototyping, 2011)

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 (Shaker, 2014)