Design and Application of a Co-Simulation Framework for Chisel
PaperFirst seen 8/7/2026
Last seen 8/7/2026
Evidence 15 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
35 connectionsThe paper discusses FPGA emulation as used by other co-simulation frameworks.
CFC targets RoCC-based accelerators for co-simulation.
The paper compares CFC with FireSim as an existing co-simulation framework.
The paper introduces CFC as its primary contribution.
CFC uses named pipes for IPC between simulations.
CFC introduces binary caching as an optimization to speed up test runs.
CFC targets Rocket Chip-based designs and must handle Rocket Chip's Diplomacy and parameter system.
CFC uses out-of-context elaboration to test accelerators without a full SoC.
The paper uses co-simulation as its central verification technique.
CFC uses Spike as the software model for co-simulation.
CFC uses Protocol Buffers for inter-simulation communication.
CFC must handle Diplomacy parameter negotiation for out-of-context elaboration.
CFC targets RISC-V based systems and uses Spike as RISC-V ISA simulator.
CFC is designed to work within a ChiselTest testing environment.
CFC targets the Chipyard environment for accelerator testing.
CFC is built for Chisel-based hardware designs.
The paper describes mixed-abstraction verification as a category of co-simulation that CFC falls under.
The paper distinguishes co-simulation from tandem simulation when discussing Dromajo.
The paper introduces ProtoToBundle as a key utility in CFC.
The paper introduces BundleToProto as a utility to convert hardware bundles to protobuf messages.
The paper introduces BundleToJson as a helper for bundle-to-protobuf conversion.
The paper introduces PipeDriver as a named pipe connector that drives data into DUTs.
The paper introduces PipeMonitor as a named pipe connector that monitors DUT outputs.
The paper introduces getVerifParameters as a utility for generating diplomatic parameters.
The paper introduces VerifRoCCStandaloneWrapper for out-of-context elaboration of RoCC components.
Ryan Lund is the author of the paper.
The paper introduces the CosimTester Trait as part of the co-simulation manager.
The paper was produced at the University of California, Berkeley.
The paper is a technical report published by UC Berkeley.
The paper demonstrates CFC by testing it on Gemmini.
The paper discusses Dromajo as an existing open-source co-simulation framework and contrasts it with CFC.
The paper discusses HDL Verifier as a commercial co-simulation framework and contrasts it with CFC.
The paper discusses Vitis HLS as a commercial co-simulation tool and contrasts it with CFC.
The paper discusses ISim as a commercial co-simulation tool and contrasts it with CFC.
The paper discusses pre-silicon verification as the motivation for CFC.