Skip to content
View Abd-El-Rahman-Sabry's full-sized avatar
:atom:
Focusing
:atom:
Focusing

Organizations

@Cairo-Uni-Racing-Team-Embedded-Teams-23

Block or report Abd-El-Rahman-Sabry

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse

Hi there it's Sabry ๐Ÿ‘‹

Welcome to my GitHub profile! I'm Sabry, a passionate Hardware Verification Engineer and IC Design Enthusiast with a strong passion for Electronic Design Automation (EDA). Below you'll find more about me, my skills, and the exciting projects Iโ€™m working on.


๐Ÿ‘จโ€๐Ÿ’ป About Me

Iโ€™m a Junior Engineer at Si-Vision with a strong background in Digital Verification, RTL Design, and EDA development. My expertise spans building and verifying complex digital systems, with a keen interest in the intersection of EDA, AI, and VLSI Design.

I also have a solid background in software development and embedded systems. Additionally, I have experience in game development using Unity3D and C#, and as a Flutter developer.

One of my major accomplishments is the development of ART (Automated RTL and Testbench), an innovative EDA tool that transforms traditional approaches to RTL design and verification. ART accelerates UVM testbench generation, FSM design, and System Verilog Assertions creation by leveraging Natural Language Processing (NLP) and large language models. The UVM part of ART was published as a paper in the IEEE International Conference on Microelectronics (ICM). You can check out the paper here .

I was an Embedded Member at Cairo Uni Racing Team, participating in designing and implementing the entire embedded system in the EV racing vehicle. The following year, I became the Embedded Communication Sub-team Head, leading the communication team to build the car's communication system. I also developed a software solutionโ€”CURT-CUBEโ€”to address integration challenges between other sub-teams.


๐ŸŽฅ ART Tool Walkthrough

Hereโ€™s a walkthrough video of the ART Tool, which demonstrates its key features:

ART_Layout.mp4

๐Ÿ› ๏ธ Skills & Expertise

Hardware Design & Verification

  • RTL Design: Knowledge in building RISC-V processors and ASIC design
  • Verification: UVM-based verification for RTL designs
  • EDA Development: Passionate about EDA tools and their application in hardware verification

Key Projects & Technologies

  • ART (Automated RTL and Testbench): Developed a tool to automate the generation of UVM testbenches, System Verilog Assertions, FSM designs, and top module connections. Built with state-of-the-art LLMs, a Verilog parser, and custom GUIs using PyQt.
  • Text Classification Model: Trained models to classify Natural Language Assertions and translate them into System Verilog Assertions (SVA).
  • Custom GUI Development: Designed intuitive user interfaces like Schematic (Block Diagram) Editor, FSM Editor, and UVM Configurator.

Tools & Technologies

  • Languages: Verilog/SystemVerilog, C/C++, Python, MATLAB
  • Frameworks: TensorFlow, PyTorch (for ML/DL in EDA)
  • EDA Tools: Synopsys, Cadence, Mentor Graphics
  • Version Control: Git, Perforce

๐Ÿš€ Projects

ART Tool (Automated RTL and Testbench)

ART is an EDA tool that transforms the RTL design and verification process by automating the generation of UVM testbenches, System Verilog Assertions, and FSM designs. Key features include:

  • Schematic Editor & Code Generator
  • FSM Editor & Code Generator
  • UVM Configurator & Generator
  • Text Classification Model for Natural Language Assertions
  • NLA to SVA Translation

The tool also includes a custom PyQt user interface for easy interaction with these features.

RISC-V Processor Development

Successfully built a RISC-V processor and integrated it into a System-on-Chip (SoC) environment, and the next step is to verify it using UVM methodology.

**


๐Ÿ’ผ Current Role

I am currently a Junior Engineer in Digital Verification at Si-Vision, where I work on cutting-edge verification methodologies to ensure the reliability and performance of complex digital designs.


๐ŸŒฑ Iโ€™m Currently Learning

  • Advanced techniques in digital verification methodologies and System on Chip (SoC) design
  • Exploring the use of AI/ML in EDA tools and hardware design optimization

๐ŸŒ Let's Connect


Thanks for visiting my profile! Feel free to explore my repositories and reach out if youโ€™re interested in collaboration or have any questions.


SciPy scikit-learn PyTorch Pandas NumPy Matplotlib Unity Qt Flutter Jira Ubuntu Android Cent OS C++ Python C C# Dart

Pinned Loading

  1. asic-routing-simulator asic-routing-simulator Public

    An interactive tool designed to visualize detailed routing in digital ASIC flows, helping users understand and analyze complex routing processes in an engaging environment

    Python 1

  2. processing-unit-with-uart processing-unit-with-uart Public

    This project implements a UART-controlled processing unit with dual clock domains for UART communication and datapath operations. A state machine decodes serial commands to control the datapath, eโ€ฆ

    Verilog 1

  3. avr-drivers-and-applications-by-sabry avr-drivers-and-applications-by-sabry Public

    This project is a complete driver library for AVR microcontrollers, covering all abstraction layers from hardware registers to application-ready APIs. It includes drivers for peripherals like GPIO,โ€ฆ

    TeX 1

  4. rv32i-based-soc rv32i-based-soc Public

    A Verilog-based RISC-V processor featuring both single-cycle and pipelined implementations. The project supports a range of RISC-V instructions, including arithmetic, logical, load/store, and brancโ€ฆ

    Verilog

  5. speech-recognition-system speech-recognition-system Public

    The project aims to help the speakers and the children correctly pronounce the phonemes and some words in the Arabic language.

    Python