SigmanticAI — AI-powered hardware verification from the command line
Project description
SigmanticAI
AI-powered hardware verification from the command line.
SigmanticAI generates complete chip verification environments — UVM testbenches, SystemVerilog assertions, coverage models, and RTL — from natural language descriptions. All heavy computation (compilation, simulation, LLM inference) runs in the cloud; the CLI is a lightweight client.
Installation
pip install sigmanticai
Requires Python 3.10+.
Quick Start
# Sign in (opens browser)
sigmanticai login
# Interactive mode — chat with the AI agent
sigmanticai
# One-shot generation
sigmanticai generate "Build a UVM testbench for a 32-bit AXI4 FIFO"
# Check your account
sigmanticai whoami
sigmanticai status
What It Does
- Generate verification environments — UVM testbenches, scoreboards, coverage, and assertions from a single prompt
- Design RTL modules — counters, FIFOs, arbiters, interfaces, and more
- Edit existing code — point the agent at your codebase and ask for changes
- Run compilation & simulation — Verilator, Questa, and other EDA tools run server-side (no local install needed)
- Iterative debugging — the agent automatically fixes compilation errors and re-runs until tests pass
How It Works
- You type a prompt in the CLI
- Your project files are synced to a cloud worker
- The AI agent generates, compiles, and simulates — all server-side
- Generated files are streamed back to your local directory
- You edit locally; changes sync automatically on your next message
No EDA tools required on your machine. No GPU needed. Just pip install and go.
Commands
| Command | Description |
|---|---|
sigmanticai |
Interactive REPL (main mode) |
sigmanticai login |
Sign in via browser |
sigmanticai login --email <e> --password <p> |
Headless login (CI/scripts) |
sigmanticai logout |
Clear stored credentials |
sigmanticai whoami |
Show current user |
sigmanticai status |
Show plan, quota, account info |
sigmanticai jobs |
List recent generation jobs |
sigmanticai generate "<prompt>" |
One-shot generation |
Interactive Commands
Inside the REPL:
| Command | Description |
|---|---|
/upload <path> |
Push a specific file or directory to the server |
/help |
Show available commands |
exit / quit / q |
End session |
Requirements
- Python 3.10+
- Internet connection (all computation runs in the cloud)
- A SigmanticAI account — sign up at sigmanticai.com
Links
- Website: sigmanticai.com
- Documentation: docs.sigmanticai.com
- Issues: github.com/sigmanticai/sigmanticai-cli/issues
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file sigmanticai-0.1.0.tar.gz.
File metadata
- Download URL: sigmanticai-0.1.0.tar.gz
- Upload date:
- Size: 23.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.12.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2f5b45de1a75561f18ff9bc9e72830e1cfb8cbf70719d000f32f36343c9ca396
|
|
| MD5 |
1a78659e233e86fc4ed2893fc69e3eb4
|
|
| BLAKE2b-256 |
6c65491dc54fe4bd6573e9f5c547209ba5ea30cc74f124d0ca6f232beb0e192e
|
File details
Details for the file sigmanticai-0.1.0-py3-none-any.whl.
File metadata
- Download URL: sigmanticai-0.1.0-py3-none-any.whl
- Upload date:
- Size: 27.5 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.12.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
74db606308bff45bd8675e3f020d22203289699e092d9c10a497a901746e5d6f
|
|
| MD5 |
17e016f68712840b42e744a31808f5a9
|
|
| BLAKE2b-256 |
1951a5a98e1c2783bd714c70f7060d69d9e4e7027ac550a33f73b75892114b6b
|