Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. In Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita, editors, Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings. Volume 8255 of Lecture Notes in Computer Science, pages 344-347, Springer, 2013. [doi]

Abstract

Abstract is missing.