rtl-model-consistency
CommunityEnsure bit-exact RTL model consistency across C, BFM, and RTL
Authorbabyworm
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Verify that the three RTL design models — reference C model, SystemC TLM BFM, and RTL — produce bit-exact outputs on a shared test vector set, enabling early detection of drift across implementations and regression risk.
Core Features & Use Cases
- 3-way output comparison across refC, BFM, and RTL.
- Scripted execution with automated report generation (sim/consistency/consistency_report.md).
- Use case: pre-regression gating before RTL changes to ensure identical behavior across models.
Quick Start
Run the three-model consistency workflow on identical test vectors to generate a per-vector report.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 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: rtl-model-consistency Download link: https://github.com/babyworm/rtl-agent-team/archive/main.zip#rtl-model-consistency 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.