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 5, 2026, 22:11 UTC

Total installs85

7d growth11+14.9% 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 5, 2026, 22:19 UTC

Total downloads1.8K

7d growth172+10.3% 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-05 22:24 UTC	No observed result	#561 of 839 ↓2 1d↑2 7d

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