Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!
esafak•Jul 29, 2026
What's that, SystemVerilog Assertion?
abbasov_murad•Jul 29, 2026
This method is certainly good to learn, but I had some difficulties understanding it
itomato•Jul 29, 2026
Whose formalities? The horse still comes first.
poslathian•Jul 29, 2026
Nice, very LTL
giancarlostoro•Jul 29, 2026
The word "AI-Powered" is shown on the front-page of this project as such:
An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.
This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.
esafak•Jul 29, 2026
From what I gather this marries a self-correcting formal specification based on Signal Temporal Logic (cf. https://en.wikipedia.org/wiki/Temporal_logic) with a natural language requirement definition (like OpenSpec).
STL is a spec for continuous, real-time signals over dense time that is appropriate for physical devices and real-time streams. See the "Use Cases for Integration" section in
their landing page: https://imiron.io/specforge/
If I were them I would lead with how they differ from existing spec languages.
7 Comments
An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.
https://imiron.io/specforge/
This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.
STL is a spec for continuous, real-time signals over dense time that is appropriate for physical devices and real-time streams. See the "Use Cases for Integration" section in their landing page: https://imiron.io/specforge/
If I were them I would lead with how they differ from existing spec languages.