Generate SystemC TLM 2.0 BFMs with LT b_transport and AXI support.
npx skills add https://github.com/babyworm/rtl-agent-team --skill bfm-develop
Please help me install this Agent Skill. Skill: bfm-develop Source: https://github.com/babyworm/rtl-agent-team/tree/main/skills/bfm-develop Command: npx skills add https://github.com/babyworm/rtl-agent-team --skill bfm-develop
Automates creation of SystemC TLM-2.0 Bus Functional Models so architecture and verification teams can run fast transaction-level simulations, catch protocol bugs early, and provide stimulus/checker BFMs before RTL exists.
Implement SystemC TLM BFMs in bfm/src from architecture.md using LT b_transport and AXI by default, build the bfm with CMake, and run the smoke test to record results.
High-intent search queries and answers about installing and using this skill.
The generated BFMs implement TLM LT b_transport by default for fast validation, and optionally support AT non-blocking transport when explicit timing accuracy is requested during architecture or verification simulations.
The BFM generator produces source code, CMake build scripts, and smoke test results. It verifies feature coverage against an iron-requirements.json file to ensure downstream consistency and validate AMBA protocol behavior.
The BFM generator implements tlm_mm_interface for memory management and PEQ scheduling to handle event-driven timing. This ensures accurate transaction processing and resource cleanup in SystemC TLM 2.0 simulations.
The tool generates CMake build scripts and bfm/ source code from architecture specifications. It implements LT b_transport by default with optional AT non-blocking transport, and includes AXI/AMBA-PV extensions for realistic bus behavior modeling.
photoszztVerify TLA+ specification refinement using TLC model checking.
babywormGenerate and run RTL unit testbenches comparing outputs to a C reference model.
babywormEnforce SystemC/TLM-2.0 coding standards for BFM and Reference Model development.
babywormGenerate SVA assertions and simulation checks for AXI, AHB, and APB protocol violations.
