Fvm
A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (this is a mirror of https://gitlab.com/fvmformal/fvm : you can open issues there)
Install / Use
/learn @fvmformal/FvmREADME
FVM
FVM is the first publicly available, general-purpose, open-source Formal Verification Methodology for VHDL designs.
Features
- Defined methodology with detailed steps.
- A helper tool that helps writing formal properties (
drom2psl). - A build and test framework that acts as an interface to the software tools.
- Thorough documentation, examples and training materials.
Documentation
This README.md is intentionally short. Please see the documentation at https://fvm.us.es, where you will find installation instructions, a getting started section, an introduction to Formal Verification, an introduction to FVM, example designs that have been formally verified with FVM, techniques to reduce proof complexity, and more!
Funding
The FVM has been funded by the European Space Agency, through its Open Space Innovation Platform (OSIP), specifically through the activity Lowering the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector. See the Acknowledgment section of the documentation for more information.
Related Skills
clearshot
Structured screenshot analysis for UI implementation and critique. Analyzes every UI screenshot with a 5×5 spatial grid, full element inventory, and design system extraction — facts and taste together, every time. Escalates to full implementation blueprint when building. Trigger on any digital interface image file (png, jpg, gif, webp — websites, apps, dashboards, mockups, wireframes) or commands like 'analyse this screenshot,' 'rebuild this,' 'match this design,' 'clone this.' Skip for non-UI images (photos, memes, charts) unless the user explicitly wants to build a UI from them. Does NOT trigger on HTML source code, CSS, SVGs, or any code pasted as text.
openpencil
2.0kThe world's first open-source AI-native vector design tool and the first to feature concurrent Agent Teams. Design-as-Code. Turn prompts into UI directly on the live canvas. A modern alternative to Pencil.
HappyColorBlend
HappyColorBlendVibe Project Guidelines Project Overview HappyColorBlendVibe is a Figma plugin for color palette generation with advanced tint/shade blending capabilities. It allows designers to
Flyaro-waffle-app
Waffle Delight - Full Stack MERN Application Rules & Documentation Project Overview A comprehensive waffle delivery application built with MERN stack featuring premium UI/UX, admin management, a
