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

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