CRI: Symbolic Debugger for MCAPI Applications

We present a trace-driven SMT-based symbolic debugging tool for MCAPI (Multicore Association Communication API) applications. MCAPI is a newly proposed standard that provides an API for connectionless and connection-oriented communication in multicore applications. Our tool obtains a trace by executing an instrumented MCAPI. The collected trace is then encoded into an SMT formula such that its satisfiability indicates the existence of a reachable error state such as an assertion failure.

• Type: Conference
• Year: 2010
• Where: ATVA
• Authors: Mohamed Elwakil, Zijiang Yang, Liqiang Wang
• Keywords: ATVA 2010, Hardware, Multicore Applications, Multicore Association Communication, Symbolic Debugging Tool