ML & AI Projects
A showcase of my research and development work in Formal Verification, Generative AI, and EDA.
LISA: LLM Informed SVA Generation
A framework using LLMs and RAG to automatically generate, analyze, and refine SystemVerilog Assertions (SVAs) for hardware verification.
View Project
Knowledge Graph for Hardware
A domain-specific Knowledge Graph (KG) pipeline that ingests hardware RTL and design specifications to extract entities and relationships.
View Project
Get Movie Recommendation from Natural Language Description
An AI powered platform that uses Natural Language query about movie plots to recommend movies. You remember an event but not the name of the movie, Chhobiwala got your back.
View Project
