Skip to content
Sirune logo

Sirune

Converts English specs into SystemVerilog assertions and constraints inside VS Code, and suggests root causes from simulation logs.
Sirune: data, price, alternatives
  • Is it safe? We have not read the data policy of Sirune yet. Read it on the official site before you upload anything.sirune.tech ↗
  • Is it free? We have not read the prices of Sirune yet; they are next in our queue. Until then, the official site has them.sirune.tech ↗
  • What else does this? UnblockedDrizzfreeAppacaSee ↓
At a glancechecked Oct 26, 2026

≈ 2visits/mo

Little sign of use · estimate, read Oct 15, 2026

For
Verification engineers writing and debugging UVM testbenches inside their code editor
Used for
  • generate SystemVerilog assertions and constraints from plain-language test plans
  • find likely root causes in simulation logs without manual grep
  • debug failing simulations using RTL, testbench and log context
Worth knowingcomputed from what we read · each with its source
  • On the web since 2024, older than 72% of its shelfINITE Atlas
  • Has an MCP server (1 in the registry)public registry →
How a program reaches itfound, not claimed · read Oct 21, 2026
  • MCP servertech.sirune/manthanverified in the MCP registry
  • Stateanswers, requires sign-inchecked 2026-10-21
  • Address to connectapi.sirune.tech/mcp

MCP server details →

This card as JSON, for your agent →

Each line is something a program found when it went looking: the registry entry, the server's own answer, a spec that parses. A missing line means we did not find it, not that it does not exist.

Most used in Developer toolsby use, among tools still maintained — this tool shares no tags yet

Figure and bar: visits/mo, estimate · year: online since

Compare Sirune with

Pick up to two.

All 10 alternatives to Sirune →

All Developer tools tools →

Not it? Say what you need

beta

Three tools from the Atlas for the job you describe, each with what fits and what does not.

From people who use itnot part of the reading

No notes yet. What do you use Sirune for?

Sign in to leave a note
Questions this page answers
  • What is Sirune?

    Converts English specs into SystemVerilog assertions and constraints inside VS Code, and suggests root causes from simulation logs. It is listed in the Atlas under Developer tools.

  • Who is Sirune for?

    Verification engineers writing and debugging UVM testbenches inside their code editor

  • Do people use Sirune?

    Little sign of use: ≈ 2 visits/mo · estimate, 2026-10.

How we read a tool

No votes, no reviews, no vendor claims. Every week a crawler reads each tool's own site and a few public registries, and the words on the card are bands over what it read.

  • Use: visits to the site (estimated), installs from npm and PyPI, presence in Chrome's usage report.
  • Activity: the newest release on GitHub, npm or PyPI; the newest dated page on the site; open roles on a public jobs board.
  • Price: the vendor's own pricing page, read with the date. A figure is printed only when it is on that page.
  • The line and the use cases are written by us from the homepage, one tool at a time, and refused when they repeat the vendor's marketing.

How AI assistants read each site — the reading vendors ask us about — is on each tool's own visibility page.

How we read every tool → · By INITE Atlas Desk