Who should use toroid?

toroid is an open-source project built for hardware engineers and verification engineers.

Yes — toroid is open source under the MIT license and free to use.

What platforms does toroid run on?

toroid runs on the command line. It can also be self-hosted.

Is toroid still maintained?

Unverified. toroid has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What are alternatives to toroid?

Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.

Is toroid open source?

Yes — toroid is open source under the MIT license.

Back to the index

toroid

PyPIInfrastructure

Toroid is a Python package that acts as an autonomous agent for formal hardware verification. It synthesizes formal properties for Register Transfer Level (RTL) code, executes model checkers such as SymbiYosys, and iteratively refines results based on counterexamples. It integrates with tools like Yosys and is aimed at digital design and verification workflows.

Open SourceMITCLISelf-hosted

Visit PyPI

Overview

4 features

toroid is a Developer Tools project. It focuses on automating formal property generation and verification for RTL designs using LLMs and model checkers. toroid is an open-source project aimed at hardware engineers and verification engineers. toroid is open source under the MIT license. It ships for the command line, and it can be self-hosted.

toroid first shipped in 2026. Among its 4 catalogued features are Formal Verification, Model Checking, and RTL Property Synthesis.

Summary written by a language model from the project’s public pages.

Formal Verification
Model Checking
RTL Property Synthesis
Counterexample Iteration

Built with & integrations

Runs on

CLISelf-hosted

Trust & compliance

License

MIT

Verified signals

HTTPSOpen Source

Indexing history

What PulseGate has recorded for this listing

Indexed24 Jul · 08:21 UTC
toroid verified against its public source
Source: PulseGate · Open

Frequently asked questions about toroid

What is toroid?: Toroid focuses on automating formal property generation and verification for RTL designs using LLMs and model checkers. It is catalogued under Developer Tools on PulseGate.
Who should use toroid?: toroid is an open-source project built for hardware engineers and verification engineers.
Is toroid free?: Yes — toroid is open source under the MIT license and free to use.
What platforms does toroid run on?: toroid runs on the command line. It can also be self-hosted.
Is toroid still maintained?: Unverified. toroid has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What are alternatives to toroid?: Similar projects tracked by PulseGate include Track Debug, ZenPress, and StarPulse.Track Debug ZenPress StarPulse
When did toroid launch?: toroid first shipped in 2026.
Is toroid open source?: Yes — toroid is open source under the MIT license.

At a glance

Platforms: Cli
Languages: English
License: MIT
First seen: 24 Jul 2026
Built for: Hardware engineers and verification engineers
Model: Open source
Solves: Automating formal property generation and verification for RTL designs using LLMs and model checkers.

Registered as

PyPI: toroid

Developer

Satchelhamilton

Live coverage

Identity confidence: Low · 64
Indexed: 24 Jul 2026
Lifecycle: Alive
First seen: Jul 2026
Last seen: 24 Jul 2026

Identity audit (13)

Slug: toroid-pypi-org
Lifecycle state recorded: 24 Jul 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 24 Jul 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 24 Jul 2026
Canonical URL: https://pypi.org/project/toroid

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Developer Tools

Same category — not a similarity match