Skip to main content

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. The AI agent runs in the cloud; all tool calls (read, write, compile, simulate) execute locally on your machine via a lightweight WebSocket client.

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 (configurable via /tool)
  • Iterative debugging — the agent automatically fixes compilation errors and re-runs until tests pass
  • Multi-vendor EDA support — configure your toolchain once, agents use the right commands everywhere

How It Works

  1. You type a prompt in the CLI
  2. Your project context (directory tree, tool config, cache) is sent to a cloud worker
  3. The AI agent reasons and plans in the cloud
  4. Tool calls (file reads, writes, compilation, simulation) execute locally on your machine
  5. Results stream back to the agent for the next reasoning step

Your EDA tools and source files stay on your machine. The cloud handles LLM inference only.

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
/tool Configure EDA tools (simulator, lint, coverage, formal)
/tool reset Reset tools to defaults (Verilator)
/tool preset <vendor> Apply vendor preset (synopsys, cadence, siemens, open_source)
/upload <path> Push a specific file or directory to the server
/help Show available commands
exit / quit / q End session

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 (LLM inference runs in the cloud)
  • 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.3.tar.gz (68.3 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.3-py3-none-any.whl (75.6 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: sigmanticai-0.1.3.tar.gz
  • Upload date:
  • Size: 68.3 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.3.tar.gz
Algorithm Hash digest
SHA256 8568280e97127ad1d6a124dcb9a76220db37dfa8a5b4ae6d67a3d570304854e2
MD5 2e3913a2d400b8f43fe16b3857a931b3
BLAKE2b-256 2ff4473700ad7f842616bd7c338a0ea3507a00a3545be96e66b35a63306e74e5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: sigmanticai-0.1.3-py3-none-any.whl
  • Upload date:
  • Size: 75.6 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.3-py3-none-any.whl
Algorithm Hash digest
SHA256 ddac1d73d8b73dfbfc629bb6e73167a82cdab535076f4e1b1f1374120c649a09
MD5 1b9d1b27c36a0980d08e044e9515498f
BLAKE2b-256 08cf40fa79f83c30f61d7de6e8060020f04b5a626def385f0bcfaa9192466bc2

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