WALID BOUKRA

1- Integrated circuit emulation using VHDL and implementation on Kintex-7 FPGA 2- Coding of serial communication protocols such as SPI, I2C and UART and testing it on Kintex-7 and Virtex-7 FPGAs 3- Using XSG (Xilinx System Generator) and the concept of black boxes in order to import VHDL designs into MATLAB and generate a bitstream to flash an FPGA 4- Writing VHDL based testbenches and simulating VHDL designs using QuestaSim

Worked on the CMS experiment (LHC): 1-Designing asynchronous FIFOs to do clock domain crossings (CDC) 2- Verifying the functional behavior of a VHDL design using UVM, SystemVerilog and the QuestaSim simulator 3- Writing concurrent SystemVerilog assertions (SVA) in order to validate the correct behavior of the design, which was written in VHDL 4- Implementing functional coverage and performing code coverage analysis 5-Testing and debugging VHDL code with Xilinx Artix-7 and Virtex-UltraScale+ FPGAs

Worked on satellite systems 1- ASIC design with the VHDL language 2- Wrote testbenches using VHDL 3- Implemented the JTAG protocol to test the ASIC using the universal verification methodology UVM and SystemVerilog in order to make my test self-checking 4- Defined design function, requirements and constraints 5- Performed code coverage analysis and applied coverage exclusions when necessary using QuestaSim 6- Elaborated new simulation scenarios to improve code coverage 7-Participated to design reviews

1- Satellite navigation, receiver architecture and operation and also positioning error 2- Study and analysis of GNSS systems with an emphasis on GPS 3- Airplane navigation systems such as VOR, DME and ILS

1- VLSI 2- DSP 3- Embedded systems programming 4- Digital communications 5- PCB design