• System-on-Chip (SoC) Design Approaches

  • Verification and Validation

  • Operating Systems

  • The Timed Abstract State Machine (TASM) Language and Toolset