Skip to main content

AI-powered hardware verification — generate UVM testbenches, assertions, and RTL from natural language

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. 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. Try python3 -m sigmanticai as 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 ~/.zshrc or ~/.bashrc)
  • Windows: Add %APPDATA%\Python\PythonXX\Scripts to 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

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

sigmanticai-0.1.33.tar.gz (152.9 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

sigmanticai-0.1.33-py3-none-any.whl (168.3 kB view details)

Uploaded Python 3

File details

Details for the file sigmanticai-0.1.33.tar.gz.

File metadata

  • Download URL: sigmanticai-0.1.33.tar.gz
  • Upload date:
  • Size: 152.9 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.12.8

File hashes

Hashes for sigmanticai-0.1.33.tar.gz
Algorithm Hash digest
SHA256 dc2a9f8c03a0c4cd09f5df6efe9988114ec50c7da44b8879213ccfe9cc075533
MD5 be427820f389dcdd8bb1a3ceb5c75614
BLAKE2b-256 daf448ff3342b6a816c7e10967fd4943f2319d720e408b49f28cf0fbd6da631f

See more details on using hashes here.

File details

Details for the file sigmanticai-0.1.33-py3-none-any.whl.

File metadata

  • Download URL: sigmanticai-0.1.33-py3-none-any.whl
  • Upload date:
  • Size: 168.3 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.12.8

File hashes

Hashes for sigmanticai-0.1.33-py3-none-any.whl
Algorithm Hash digest
SHA256 5500fbbe8e01d86bcd28d8f3cdf2b3b16ba576bfc79a5d921be5540cff41963e
MD5 039ef633b7022d1738e24ec0f0854321
BLAKE2b-256 e7530e5d3a8c4f3e18d2d6e618404142e4d348faf9772f949d447f6b3d51ddb1

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page