Search results

cosim: gf180mcu SRAM model drops a read on data-phase CEN deassert — should cosim surface this single-port-bus race?

Status: Open.

#119 In gpu-eda/Jacquard;

· robtaylor opened on Jun 9, 2026

X-barrier assertions (B): lower a $isunknown SVA subset from RTL to the x-assert spec

Status: Open.

#107 In gpu-eda/Jacquard;

· robtaylor opened on Jun 4, 2026

X-barrier assertions (A): spec-file-driven !$isunknown checks against the X-mask

Status: Open.

#106 In gpu-eda/Jacquard;

· robtaylor opened on Jun 4, 2026

cosim is Metal-only — make the cosim driver backend-portable (CPU fallback + CUDA/HIP)

Status: Open.

#105 In gpu-eda/Jacquard;

· robtaylor opened on Jun 4, 2026

sim: CUDA/HIP drop timing constraints + events — --timing-report/--timing-summary/--timed are Metal-only

Status: Open.

#104 In gpu-eda/Jacquard;

· robtaylor opened on Jun 4, 2026

cosim: multi-SRAM sram_init preload (N-macro memories) — schema + apply for byte-lane/bank-split wrappers

Status: Open.

#103 In gpu-eda/Jacquard;

· robtaylor opened on Jun 4, 2026

cosim --xprop: JTAG-DM firmware load writes no SRAM (debug-load path reads X) — not a read-mask bug

Status: Open.

#102 In gpu-eda/Jacquard;

· robtaylor opened on Jun 3, 2026

netlist-graph drivers: walks clk/set/reset pins, swamping the data path

Status: Open.

#100 In gpu-eda/Jacquard;

· robtaylor opened on Jun 3, 2026

Complete ADR 0012 CDC jitter injection (deferred scope)

Status: Open.

#92 In gpu-eda/Jacquard;

· robtaylor opened on Jun 1, 2026

test: multi-clock and CDC test coverage

Status: Open.

#87 In gpu-eda/Jacquard;

· robtaylor opened on May 24, 2026

Timing ECO suggestions: buffer insertion and cell resizing

Status: Open.

#16 In gpu-eda/Jacquard;

· robtaylor opened on Feb 16, 2026

Statistical STA (SSTA) with delay distributions

Status: Open.

#15 In gpu-eda/Jacquard;

· robtaylor opened on Feb 16, 2026