Digital Design & Verification
- SystemVerilog
- Assertion-Based Verification (with some formal experience using Jasper)
- Computer Architecture
- ModelSim, Questasim, VCS, Verdi, and DC
Programming and Scripting Languages
- C / C++
- Python
- RISC-V and MIPS Assembly
- Bash
Operating Systems
Circuit Design
- Schematic Capture and PCB Design (Altium Designer and KiCad)
- Microprocessors and Microcontrollers (LPC1754/8, MSP430, Atmega328, ESP8266, etc.)
- SPICE Simulation (Multisim, LTspice, and Tina-TI)
Languages, Miscellaneous Skills, and Hobbies
Languages:
- Fluent in English and Arabic
- Some communication skills in Bosnian/Serbian/Croatian
Hobbies:
- Swimming, Cycling & Running