arm architecture , Verilog, Device Drivers, C, Systemc, AHB, FPGA prototyping, systemverilog, Zephyr RTOS, RISC-V, register-level firmware, APB, Axi, hardware software interfaces, hardware emulation environments, Veloce, BUS Protocols, RTL, HALs, Embedded Linux kernel driver development, TLM 2.0, register maps, DMA, interrupt handling, Palladium

arm architecture , Virtualization, Debugging Tools, System Software development, formal methods, System analyzer tools, AI-assisted engineering tools, Device-management diagnostics, Ada SPARK programming

C Programming, board bring-up, developing Boot software or BSP, knowledge of Assemblers, familiarity with ARMv8-based processor architecture, system-level debugging, understanding of ABI, low-level driver experience