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. Just describe what you need and the AI builds, compiles, and iterates until your design works.
Installation
pip install sigmanticai
Requires Python 3.10+.
sigmanticai: command not found? Your Python scripts directory may not be on PATH. Trypython3 -m sigmanticaias a workaround, or add the path shown in pip's install output to your shell profile:
- macOS/Linux:
export PATH="$HOME/.local/bin:$PATH"(add to~/.zshrcor~/.bashrc)- Windows: Add
%APPDATA%\Python\PythonXX\Scriptsto your system PATH
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, VCS, Xcelium, and other EDA tools
- Iterative debugging — the agent automatically fixes compilation errors and re-runs until tests pass
- Multi-vendor EDA support — configure your toolchain once, the agent uses the right commands everywhere
Commands
| Command | Description |
|---|---|
sigmanticai |
Interactive REPL (main mode) |
sigmanticai login |
Sign in via browser |
sigmanticai login --email <e> --password <p> |
Headless login (SSH/CI) |
sigmanticai login --google --email <e> |
Login via email code (Google accounts) |
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, type / to open the command menu, or /help for the full
reference plus a short getting-started tutorial.
| Command | Description |
|---|---|
/studio |
Agentic Studio (default) — ask, design/verify RTL, or make a quick edit |
/End2EndChip |
Spec2RTL One-Shot — generate VIP + IP for a full end-to-end design |
/auto / /manual |
Run all pipeline stages without pauses / pause after each stage |
/tool |
Pick EDA tools per category or add your own (/tool show, /tool doctor, /tool reset) |
/preferences |
View & change preferences (/preferences show, /preferences set K V) |
/upload <path> |
Push a specific file or directory to the server |
/help |
Show all commands + a getting-started tutorial |
exit / quit / q |
End session |
Ctrl+C cancels the current turn; double Ctrl+C exits.
EDA Tool Support
SigmanticAI supports multiple EDA vendors out of the box:
| Category | Supported Tools |
|---|---|
| Lint | Verilator, Synopsys SpyGlass, Cadence HAL, Siemens Questa Lint |
| Simulator | Verilator, Synopsys VCS, Cadence Xcelium, Siemens Questa, AMD XSIM |
| Coverage | Synopsys VCS Coverage, Cadence IMC, Siemens Questa Coverage |
| Formal | Synopsys VC Formal, Cadence JasperGold, Siemens Questa Formal |
Configure your toolchain with /tool — the agent automatically uses the correct commands, flags, and error patterns for your tools.
Requirements
- Python 3.10+
- Internet connection
- A SigmanticAI account — sign up at sigmanticai.com
Links
- Website: sigmanticai.com
- Documentation: docs.sigmanticai.com
- Support: team@sigmanticai.com
1 maintainer
Metadata
1 maintainer
Release files for sigmanticai 0.1.37
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| sigmanticai-0.1.37.tar.gz | 159.6 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| sigmanticai-0.1.37-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 334.6 kB
Release files / sigmanticai-0.1.37.tar.gz
| Download URL | sigmanticai-0.1.37.tar.gz |
|---|---|
| Size | 159.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
1bb9773981fce177196d985a0dc45d98811726319dc0f229f2ecb6691ec523ff
|
|
BLAKE2b-256 checksum How to use checksums |
71a3e1b07ecb7d35e76561953110798cd76d3d57025f4c7364ba452fba420a50
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.8
|
Release files / sigmanticai-0.1.37-py3-none-any.whl
| Download URL | sigmanticai-0.1.37-py3-none-any.whl |
|---|---|
| Size | 175.0 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
0fe2072b410dee30f20fee58d62ac116ab209fca8dc2b0de21f8ac9f17552594
|
|
BLAKE2b-256 checksum How to use checksums |
3ba063c104f783a7399f6de750b12e616772aa87f7232c7cd6ca566fc29b4062
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.8
|
