Digital IC Design · RTL & Design Verification
Cairo University — ECE '28 · Cairo, Egypt
| Area | Scope |
|---|---|
| RTL Design | Verilog · SystemVerilog · VHDL · FSMs · pipelining · fixed-point datapaths |
| Verification | Self-checking testbenches · SVA · code & functional coverage · equivalence vs golden models |
| FPGA & ASIC Flows | Synthesis · STA · Lint/CDC/RDC · DFT · formal equivalence · GLS · physical design to GDS |
| Hardware-Aware Software | RISC-V RV64GC / RV64GCV vector programming · C++17 |
| Embedded | AVR · ESP32 · Raspberry Pi · I2C / GPIO / timers / ADC |
EDA
ModelSim · Vivado · Design Compiler · SpyGlass · Formality · Cadence Virtuoso
- LinkedIn — https://www.linkedin.com/in/ahmed-badwy-4b83b3344
- Email — ahmed.badwy05@eng-st.cu.edu.eg
