V

Vishal Raj

Software Engineer

Hyderabad, Telangana, India1 yr 11 mos experience
AI EnabledAI ML Practitioner

Key Highlights

  • Expert in Formal and Functional Verification methodologies.
  • Strong background in VLSI Design and digital IC design.
  • Proficient in UVM and formal verification tools.
Stackforce AI infers this person is a Semiconductor Verification Engineer with expertise in formal and functional verification.

Contact

Skills

Core Skills

Formal VerificationFunctional Verification

Other Skills

UVMDDR4DSPBRAMAXIVC FormalJTAGIJTAGAMBA AXIAMBA APBSerial peripheral InterfaceI2CUniversal Asynchronous Receiver/Transmitter (UART)X PropagationCDC

About

As a Silicon Design Engineer at AMD, I apply my skills in Formal and Functional verification and digital IC design to create innovative solutions for the semiconductor industry. I have a strong background in VLSI Design, having completed my MTech from National Institute of Technology, Kurukshetra. I am passionate about learning new technologies and staying updated with the latest trends in the field. I have also earned certifications in Verilog HDL and UVM for Verification from Udemy, demonstrating my commitment to continuous learning and professional development.I am passionate about learning new technologies and skills, and contributing to the innovation and quality of the products and services I work on. The following is some of my skills and Specialties : Technical Skills : 👉 Languages: System Verilog, Verilog,C++,Python,Perl 👉Verification Methodologies: UVM 👉Protocols: APB,I2C, SPI, UART , DDR4 , USB-4 👉EDA Tools: SYNOPSYS VCS, DVE 👉Formal Verification Tools: VC Formal, Jasper Gold Specialities : ✔️Good knowledge of fundamentals of Digital Design Concepts. ✔️Depth Understanding of the ASIC Verification Flow, TestPlan & Test bench architecture. ✔️TB Architecture and Test Plan Development. ✔️Proficient in Verilog & SystemVerilog & Knowledge of UVM. ✔️Worked on Assertion development, Functional coverage & Created functional tests. ✔️Worked on code coverage analysis and coverage closure. ✔️Hands-on experience on Formal tools like VC Formal and Jasper gold . 👉FPV, CC , COV, FuSa, FXP, Low Power Verification App. ✔️Worked closely with RTL designers to specify, develop and debug constrained-random and directed test cases toward coverage-driven verification closure. Along with Verification i also have experience in performing DFT tests like scan, BIST, at-speed, IDDQ, and boundary scan (JTAG). Skilled in functional and on-line testing for reliable fault detection and error correction.

Experience

1 yr 11 mos
Total Experience
1 yr 11 mos
Average Tenure
1 yr 11 mos
Current Experience

Amd

2 roles

Silicon Design Engineer 2

Jun 2024Present · 1 yr 11 mos · On-site

  • Performed AEP, CC, UNR, FTA ,FXP, FPV
  • 1.Formal Verification of INT ,INTF , MISR
  • 2. Verification of Fabric IP Blocks (DSP & BRAM)
  • Responsibilities:
  • ▪️ Developed UVM-based verification environment for DSP and BRAM blocks.
  • ▪️ Wrote test scenarios for functional, boundary, and corner cases.
  • ▪️ Created assertions and coverage models to validate signal integrity and timing.
  • ▪️Integrated protocol interfaces like AXI to communicate with BRAM/DSP blocks.
  • ▪️Debugged simulation results using waveform viewers and regression tools.
  • ▪️Worked with simulation tools like VCS and ModelSim.
  • 3..Verification of Crypto & PUF-based Security IP
  • Responsibilities:
  • ▪️Performed functional verification of cryptographic engines (e.g., AES, SHA, TRNG) and PUF-based modules for secure key storage.
  • ▪️Developed UVM testbenches for verifying security IP blocks under various entropy and key generation conditions.
  • ▪️Validated reliability and uniqueness of PUF responses under process-voltage-temperature (PVT) variations.
  • ▪️Integrated AXI interfaces for control and data communication with the cryptographic IP.
  • ▪️Wrote assertions and checkers for protocol-level and functional correctness.
UVMFormal VerificationDDR4DSPBRAMAXI+1

Intern

Jul 2023Jun 2024 · 11 mos · On-site

  • Simulation
  • RAL Testing for XRDMA IP Register
  • Created various scenarios to test the registers of XRDMA IP: Read-Write Test, Power on Reset Test, Reserved Field Test, Bit Bash, Random Access Test and Out of Order Read Write Test,
  • Created CSR Test by adding all the scenarios.
  • Maintained regression and debugged the failures in any scenario for register.
  • Reported the functional coverage improvement.
  • FORMAL VERIFICATION WORK
  • 1) Created a test bench for Memory Block using UVM , made MakeFile , run all the test cases and regression.
  • 2) Setup Crontab and Cronjob to run regression , Debugged all the errors.
  • 3) Started working on Formal Verification ( VC Formal) , performed AEP(Automatically Extracted Property) , CC ( Connectivity Checking Application), FCA ( Formal Coverage Analyser) , FXP ( Formal X Propagation) on a module.
  • 4) Created TCL file for all the Apps , wrote Script , debugged all the errors and proved all the falsified properties.
UVMFormal VerificationVC FormalFunctional Verification

Bharat sanchar nigam limited

Summer Intern

Jul 2018Aug 2018 · 1 mo · Maharashtra, India

Education

National Institute of Technology, Kurukshetra, Haryana

Master of Technology - MTech — VLSI Design

Jan 2022Jan 2024

Indian Institute of Technology, Patna

Master of Technology - MTech — Communication Engineering

May 2022Jun 2022

Stackforce found 100+ more professionals with Formal Verification & Functional Verification

Explore similar profiles based on matching skills and experience