work Enzian A symmetric coherent CPU-FPGA research computer CCKit CPU-FPGA symmetric cache coherence stack CCKit DC Home-agent on FPGA for symmetric coherence with 20GiB/s throughput and sub 400ns round-trip latency Asset Automatic state space exploration tool to generate DC protocol state machine from its specification fun
