Sacha Loitz

According to our database, Sacha Loitz authored at least 4 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

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

PhD thesis, 2014

2011

Validation of channel decoding ASIPs a case study.

Christian Brehm, Norbert Wehn, Sacha Loitz, Wolfgang Kunz

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

2010

Complete Verification of Weakly Programmable IPs against Their Operational ISA Model.

Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2008

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

Proceedings of the IEEE Symposium on Application Specific Processors, 2008