
Cummings-style gray-pointer dual-clock async FIFO — the catalog’s foundational wide-bus CDC primitive, ASIL-A SEooC. It is delivered as a licensable soft-IP block engineered as an ASIL-A Safety Element out of Context — not just RTL, but the complete functional-safety work package needed to carry it into an ISO 26262 program:
A dual-clock (asynchronous) FIFO delivered as synthesizable SystemVerilog soft-IP — the canonical safe structure for moving a multi-bit data bus between two unrelated clocks using Cummings-style gray-coded read/write pointers, so the wide bus is never per-bit synchronized and full/empty can never be mis-computed from a torn sample.
KEEP-attributed 2-FF synchronizer each way — never the wide data bus itselfwr\_full/rd\_empty are always legalwr\_full is dropped (never overwrites live data) and surfaced on !wr\_ready, not swallowedrd_data continuously presents the head word whenever rd_valid is setwr_rst_n/rd_rst_n) — no shared reset tree required between write and read domainsformal/cdc\_fifo.sby: consistency, one-bit-step, legal-gray stages, no overflow/underflow, single-slot data integrity) plus clean tools/cdc\_check sign-off (rules A4/A5)width\_cdc\_bridge (ASIL-B, adds ECC/DMR/err_code) and the dp\_link/dsi\_host video datapathsISO 26262 ASIL-A SEooC (SPFM 6.30%, LFM 85.00%, PMHF 6.92×10⁻⁹/h); formally verified gray-pointer CDC (SymbiYosys BMC)
ASIL-A (SEooC) · SPFM 6.30% · LFM 85.00% · PASS
ISO 26262:2018 · FMEDA available · Safety Manual included
See datasheet for full register reference.
// Minimal instantiation
cdc_fifo #(
.ADDR_W(6)
) u_cdc_fifo (
.clk (clk),
.rst_n (rst_n),
// APB4
.p_paddr (paddr),
.p_psel (psel),
.p_penable (penable),
.p_pwrite (pwrite),
.p_pwdata (pwdata),
.p_prdata (prdata),
.p_pready (pready),
// Safety
.err_clear (1'b0),
.err_valid (err_valid),
.err_code (err_code)
);Configure via the CTRL register after reset to enable the IP and set operating parameters. Monitor err_valid / err_code for any safety faults reported by the built-in safety monitor.
Typically deployed in heterogeneous SoCs that mix AMBA and TileLink IP and need clean, verified protocol and clock-domain crossings.
Pricing, the per-IP FMEDA, safety manual, and RTL data room are shared under a mutual NDA.
Figures are pre-silicon engineering-grade estimates for a Safety Element out of Context (SEooC); final ASIL sign-off is the integrator’s, supported under NDA. FMEDA and Safety Manual available under NDA.
circuit-design.space · +1-971-357-1400 · anovickis@circuit-design.space