Available now — real, tested verification collateral, not a roadmap placeholder.
Verification IP is not safety-rated. These are testbench components — no ASIL target, no FMEDA, no IP-XACT, no safety-mechanism interface. They exist to help you verify a design, not to carry a safety argument. The safety soft-IP catalog is over here.
An independent AHB-Lite master, written clean-room from the public AHB-Lite address/data-phase handshake contract — not derived from our own ahb_to_tl_ul RTL — so it functions as a true second source. Since no real TL-UL target IP exists yet in this catalog, a small independent TL-UL memory-model responder completes the loop on the bridge’s far side so end-to-end write/read-back transactions can actually finish. Ships with a passive protocol checker (single-outstanding handshake legality, no-SEQ, HRESP-phase legality) and a self-checking interop TB proving word and sub-word (byte/halfword) writes, read-back, the TL-denied→HRESP=ERROR path, and TL-side wait-state stalling against the catalog’s ahb_to_tl_ul bridge. Covers only single, non-pipelined NONSEQ transfers — matching the bridge’s own documented single-outstanding, no-SEQ/burst scope — burst/SEQ transfers and pipelined back-to-back address phases are a documented roadmap item, not yet built.
WRITE/READ + sub-word WRITE_BYTE/WRITE_HALF task APIahb_to_tl_ul: word/sub-word writes, read-back, TL-denied error path, wait-state stalling, plus a directed injection caught by the checkerARM AMBA 5 AHB / AMBA 3 AHB-Lite
Built to lean against these catalog IPs during integration:
Deliverables, the file manifest, and licensing terms are shared under a mutual NDA.
Verification IP is testbench collateral and is deliberately not safety-rated: no ASIL target, no FMEDA, and no IP-XACT descriptor. It carries no functional-safety claim.
circuit-design.space · +1-971-357-1400 · sales@circuit-design.space