Hardware Formal Verification
scikit-learn is a Python module for machine learning built on top of SciPy and is distributed under the 3-Clause BSD license.
•
1 min read
Selected Projects
I enjoy making things. Here are a selection of projects that I have worked on over the years.
VLSI Design Quality Evaluation
PyTorch is a Python package that provides tensor computation (like NumPy) with strong GPU acceleration.
•
1 min read
Circuit Foundation Model
Pre-trained circuit foundation models that provide support for various circuit downstream tasks (e.g., design quality preidction, functional reasoning, etc.)
•
1 min read