ferrite-engineering.simcrux

SimCrux — RTL Regressions in the Test Explorer

Open VSX
Total downloads
240
7d gain
0
Rolling weekly delta
Rating
- / 5
0 reviews
Version
0.1.0
Latest published

Activity

Extension trends

Manifest

Metadata

Namespace
ferrite-engineering
Name
simcrux
License
Apache-2.0
Homepage
https://simcrux.app/
Repository
https://github.com/Ferrite-Engineering/crux-vscode.git
Reviews
0

Taxonomy

Categories

Description

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.

Archive

Release history

1 latest releases