remote-fm-formality
CommunityRemote Formality flow for RTL-vs-gate equivalence.
Author232322336666
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formal verification of RTL-to-gate equivalence on a remote Linux server using Synopsys Formality, ensuring gate-level netlists match the original RTL with SVF guidance from DC.
Core Features & Use Cases
- Remote RTL-vs-gate formal verification using Synopsys Formality.
- Copy-from-template workflow to ensure correct setup and TOP_DESIGN_NAME configuration.
- End-to-end flow from environment setup to result analysis and reporting on a remote server.
Quick Start
Copy from the verified example template, configure TOP_DESIGN_NAME in the setup, and run the FM verification workflow on the remote server.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: remote-fm-formality Download link: https://github.com/232322336666/vibe_circuit_deisgn.skill/archive/main.zip#remote-fm-formality Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.