← Back to All Placements

Nishant Kidangan Mathew

Formal Verification for Hardware IP Validation

Apple
London

Summary

Working under the Analog Mixed Signal (AMS) team at Apple. Developing a tool to improve the efficiency of digital designs in FPGA synthesis.

Role and Contributions

The tool is currently deployed in experimental flows and may be extended for broader use in future. Its development and documentation are my own work, informed by ideas grounded in existing literature. Integration of the tool is a collaborative effort between myself and my team members.

Technical Skills

SystemVerilog, formal verification, design verification, digital design, digital arithmetic, Python, C++, UVM, digital signal processing, LLMs

Professional Skills

Communication, public speaking skills, presentation design, research skills

Tags

Hardware (Analog) Hardware (Digital)