Sacha Loitz

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Christian Brehm, Norbert Wehn, Sacha Loitz, Wolfgang Kunz
Validation of channel decoding ASIPs a case study. International Symposium on Rapid System Prototyping (2011)
Sacha Loitz, Markus Wedler, Dominik Stoffel, Christian Brehm, Norbert Wehn, Wolfgang Kunz
Complete Verification of Weakly Programmable IPs against Their Operational ISA Model. FDL (2010)
Sacha Loitz, Markus Wedler, Christian Brehm, Timo Vogt, Norbert Wehn, Wolfgang Kunz
Proving Functional Correctness of Weakly Programmable IPs - A Case Study with Formal Property Checking. SASP (2008)