Rtl P5s Perf Verify

<Purpose> Measure RTL performance (throughput, latency, stall cycles) and compare against BFM predictions. Outputs: sim/{module}/{module}_perf.json with measured vs expected metrics. </Purpose>

<Use_When>

• RTL passes functional verification and performance validation is needed
• BFM performance baseline exists in bfm/
• Performance regression after RTL change </Use_When>

<Do_Not_Use_When>

• BFM does not exist (run bfm-develop first)
• Functional correctness not yet established (run rtl-p5s-func-verify first)
• Synthesis timing analysis needed (use rtl-synth-check instead) </Do_Not_Use_When>

<Execution_Policy>

• Use skills/rtl-p5s-perf-verify/templates/perf-monitor-template.sv as measurement harness scaffold </Execution_Policy>

<Why_This_Exists> RTL that is functionally correct may still fail performance targets due to unexpected stalls, backpressure, or pipeline bubbles. BFM provides the performance baseline; RTL must match it. </Why_This_Exists>

Prerequisites

RTL modules and BFM baseline required:

• rtl/**/*.sv files must exist