FPGA Asynchronous CDC Gray-FIFO Worst-Case Depth & Synchronizer Metastability MTBF Solver

Deterministic Worst-case burst queuing depth D >= B - B * (f_rd / (f_wr * duty_rd)) + Gray-pointer sync latency + exponential metastability MTBF = exp(t_res / tau) / (T_0 * f_clk * f_data) engine (.v, .sv, .xdc, .sdc) built for AMD Xilinx (Vivado), Intel Altera (Quartus), Lattice Semiconductor, Gowin — zero-upload ephemeral Wasm RAM execution.