IP Catalog

JTAG Bridge

v1.0PRODUCTION

A JTAG TAP to AXI bridge with a formally proven state machine and CDC handshake.

JTAGAXI4-Lite

Debug access done properly: shift a command in over JTAG, run an AXI transaction, shift the response out. The two things that actually go wrong in designs like this — the TAP state machine and the clock-domain crossing — are both formally proven, and the CDC additionally carries a clean Vivado report_cdc sign-off.

7

MODULES

TAP + CDC proofs

FORMAL

report_cdc clean

CDC

Need this core adapted — different bus, different process, extra features, or verified against your own requirements?

Talk to us about customization