- Mountain View, CA
- akashlevy.com
- https://orcid.org/0000-0002-1013-6257
- akashlevy
- in/akashlevy
- @akashlevy
- akashlevy
Stars
V-Mate is a RISC V core processor developed by Hu-mind.AI VLSI Teammates tool.
Modular hardware build system
HARC: verification language compiler, sister to ARCH
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
Condor Computing's fork of Spike with STF and BBV support, Spike-STF
Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
ASIC implementation flow infrastructure, successor to OpenLane
Digital HDL Design Full-stack Agents
open source hardware synthesis. SystemVerilog, VHDL and ABEL-HDL to gate-level netlists
Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Natural Language Exploration of Hardware Designs and Libraries (ICLAD'25) -- Best Paper Award
The SBOM tool is a highly scalable and enterprise ready tool to create SPDX 2.2 compatible SBOMs for any variety of artifacts.
A fast VHDL language server and analysis library written in Rust
Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.
Use graph neural network to predict power, timing and area of a digital system.
LEC - Logic Equivalence Checking - Formal Verification
A Verilog synthesis flow for Minecraft redstone circuits