Skip to content
View Quil180's full-sized avatar
28 followers · 21 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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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. nixos-config nixos-config Public

    This repository contains my personal modular NixOS configuration for seamless system setup and management. It includes installation scripts, user-specific settings, system-wide configurations, pack…

    Nix 1

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

    Python 1

  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. peytonlynnbarnes/sec_bot peytonlynnbarnes/sec_bot Public

    Python 2 1