What problem does it solve? Simulation and static RTL checkers can both pass while the actual chip still exhibits a forbidden timing pattern, such as periodic wake pulses that should have stopped after a state transition. This Skill closes that gap by probing the real IO line with an oscilloscope and running deterministic pattern checks on the captured waveform. ## Core Features & Use Cases - Hardware attestation via SCPI: Captures scope traces through the MCP-EDA server and runs deterministic programs that decide PASS/FAIL on pulse period, width, and frame decode. - Forbidden and required pattern checks: Detects absence of forbidden periodic pulses, presence of required reply preambles, response byte decoding, and long-frame decoding. - CI-friendly mock mode: Replays a previously captured waveform CSV with --mock-samples-csv so regressions run without USB hardware. - Use Case: A static checker flags a wake-timer freeze defect in wake_ctrl.v. After sim and static checks pass, you probe the IO line with a Keysight DSO-X 3014T, capture 50 ms of waveform, and the program confirms whether the 5 ms periodic pulses have actually stopped on silicon. ## Quick Start Ask the agent to run a scope check on the IO line to verify the wake pulse really stops after the state transition, using the captured trace or live hardware.
