SimCrux — RTL Regressions in the Test Explorer

ferrite-engineering.simcrux · by Ferrite EngineeringVS Marketplace Not verifiedOpen VSX Verified

First Released:

VS Marketplace: Sep 12, 2026
Open VSX: Sep 12, 2026

Last Updated:

VS Marketplace: Oct 27, 2026
Open VSX: Oct 27, 2026

Turn simcrux.yaml into a VSCode test tree, run regressions as a task, keep the five SymbiYosys verdicts distinct, and open a failing proof's counterexample in a waveform tab beside it.

Testing

Test Runners

Install in VS Code ↗Compare ↗

VS Marketplace ↗Open VSX ↗Repository ↗

Historical performance

7d 15d 30d 90d 1y All

VISUAL STUDIO MARKETPLACE

Installs growth

Last snapshot: Nov 6, 2026, 22:23 UTC

Total installs86

7d growth12+16.2% over 7d

Community rating—Reviews unavailable

Latest version1.1.1Updated Oct 27, 2026

8 calculable days · 0 without calculable growth.

OPEN VSX

Downloads growth

Last snapshot: Nov 6, 2026, 22:36 UTC

Total downloads1.9K

7d growth152+9.0% over 7d

Community rating—0 reviews

Latest version1.1.1Updated Oct 27, 2026

8 calculable days · 0 without calculable growth.

Search & category rankings

Categories ranked by installs on Marketplace and downloads on Open VSX.

Term	Marketplace	Open VSX
TestingCategory · 2026-11-06 22:45 UTC	No observed result	#559 of 845 ↑2 1d↑4 7d

Checked daily for up to 1,000 results per term. Changes appear when historical data is available.