Skip to main content
Mishal ArifMA
Looking for a job

Mishal Arif

@mishalarif

Design Verification Engineer at 10xEngineers verifying a RISC-V chiplet and raising LSU coverage from 86% to 96%.

Pakistan
Message

At 10xEngineers, I verify the memory subsystem of a superscalar, multicore, out-of-order RISC-V compute chiplet for a U.S.-based client using SystemVerilog and UVM. I debug regressions and drive coverage closure, raising LSU coverage from 86% to 96%.

At CHASE Lab, I designed a compact, low-power spiking neural network for real-time neuronal spike sorting, reaching 97.8% accuracy across simple-spike, complex-spike, and noise classes. I also designed and conducted labs for “VLSI for Artificial Intelligence,” applying Cadence tools to the Netlist-to-layout flow.

At IC Design Lab, I developed a fixed-point SystemVerilog ECG processor for my master’s thesis, with R-peak detection at 99.66% F1 and 99.91% agreement between RTL and a Python model. I also designed RISC-V PLIC and floating-point unit RTL, and verified AXI Lite using Questa Verification IP.

At Re-Engineering with Research (RWR Private Ltd), I developed Verilog RTL and verified SoCs for a baseband transceiver board, including a custom CHDR layer for an SDR. My work also covered JESD204B, AXI4, AHB, APB, and DMA protocols.

Experience

Work history, roles, and key accomplishments

CE

Research Assistant

CHASE Lab, Syed Babar Ali School of Science and Engineering,

Aug 2024 - May 2025 (9 months)

Designed a compact, low-power spiking neural network for real-time neuronal spike sorting, achieving 97.8% accuracy. Designed and conducted labs for the course 'VLSI for Artificial Intelligence' using Cadence tools.

IT

Research Assistant

IC Design Lab, National University of Sciences and Technolog

Sep 2022 - Apr 2024 (1 year 7 months)

Worked on MS thesis involving end-to-end fixed-point SystemVerilog RTL for a patient-specific smart ECG processor. Designed RTL for RISC-V PLIC and floating-point units, and performed functional verification of AXI Lite protocol.

Education

Degrees, certifications, and relevant coursework

NS

National University of Sciences and Technology (SEECS)

MSc, Electrical Engineering

MSc in Electrical Engineering with specialization in Integrated Circuits and Systems.

NC

National University of Sciences and Technology (CEME)

BSc, Electrical Engineering

BSc in Electrical Engineering.

Tech stack

Software and tools used professionally

Interested in hiring Mishal?

You can contact Mishal and 90k+ other talented remote workers on Himalayas.

Message Mishal

People also viewed

View all talent

Get matched with your dream remote job

Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!

Sign up
Himalayas profile for an example user named Frankie Sullivan