Skip to content
View Quil180's full-sized avatar
21 followers · 17 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Organizations

@Autonomous-droneProject

Block or report Quil180

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Quil180/README.md

Hi, I'm Yousef Awad 👋

About Me

I'm a hardware design enthusiast passionate about digital design, FPGA development, and formal verification.

🔭 Currently Working On

  • Digital design projects using Verilog and SystemVerilog
  • FPGA development and verification
  • Learning formal verification methods

🛠️ Technologies & Tools

SystemVerilog Verilog Vivado Cadence Verilator Formal Verification UVM/OVM Constrained Randomized Tests C/C++ Rust

📫 How to Reach Me

LinkedIn Email

📊 GitHub Stats (incase you are interested)

Quil180's GitHub stats

Pinned Loading

  1. IEEE-UCF/2025-AMDHardware IEEE-UCF/2025-AMDHardware Public

    Python 1

  2. formal_verification_practice formal_verification_practice Public

    Verilog

  3. CyndaQuilLanguage CyndaQuilLanguage Public

    CyndaQuil is a statically-typed, compiled programming language focused on high performance, memory safety, and modern syntax. It features structured exception handling, strict grammar rules, and ef…

    C++ 3

  4. Anqa Anqa Public

    Anqa is a personal RISC-V processor project focused on high-performance design with full documentation to help you build your own. Featuring modular extensions, an optimized ALU, and a structured p…

    TeX 1

  5. peytonlynnbarnes/sec_bot peytonlynnbarnes/sec_bot Public

    Python 2 1