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.38
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | Actions |
|---|---|---|---|---|
| sigmanticai-0.1.38.tar.gz | 181.9 kB | Without provenance | Details for sigmanticai-0.1.38.tar.gz |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Actions Reset |
|---|---|---|---|---|
| sigmanticai-0.1.38-py3-none-any.whl | Python 3 | none | any | Details for sigmanticai-0.1.38-py3-none-any.whl |
Total release size: 380.6 kB
Release files / sigmanticai-0.1.38.tar.gz
| Download URL | sigmanticai-0.1.38.tar.gz |
|---|---|
| Size | 181.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
99eb4c63a5f94a586c8c2dd2205a916c1f5d064697eb79e5513a7230d1c75d44
|
|
BLAKE2b-256 checksum How to use checksums |
fa75cb5a5c2ba949e4b62ad0503754b3a781219e34aa6e79a5ba1dbbdff84102
|
| 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.38-py3-none-any.whl
| Download URL | sigmanticai-0.1.38-py3-none-any.whl |
|---|---|
| Size | 198.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
dc65cff1bd4fdabd0af14fd0c7bf8f211b7290a5c45a7ed702931ea62fadea79
|
|
BLAKE2b-256 checksum How to use checksums |
844143e6fc4b2047d92fc1c5f7c67b2a25b6535699c634f3526f67754a87f145
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.8
|
Security for sigmanticai 0.1.38
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.
