- Proven experience in microcontroller/FPGA embedded systems, security specific digital design, system level 
verifications.
- Interface protocols (UART, I2C, I3C, AXI4, AXI4Stream, APB, AHB).
- Cross clock/power domain design and formal verification.
- Security coprocessor for high-speed symmetric computations (AES/TDES).
- Experience in embedded software development.
- C test development for system level verification.
- One Spin formal verification.
- System Verilog design for VHDL users and for Verification.
- Design Compiler.
- Python fundamentals.