R2U2 C Monitor Developer Guide

• Architecture
• Internals
• Memory Controllers
  • Contract Status
  • CSV Trace
  • Monitor
  • Register
  • Shared Connection Queue
• Execution Engines
  • Instruction Dispatch
  • Booleanizer (BZ)
  • Mission-time Linear Temporal Logic (TL)
• Debug
  • R2U2_DEBUG
  • R2U2_TRACE
  • Debug Printing
• Testing
  • Unit testing with Munit
  • Unit Testing Coverage Analysis
  • Static Analysis with CodeChecker