Abstract | ||
---|---|---|
We present Golden Gate, an FPGA-based simulation tool that decouples the timing of an FPGA host platform from that of the target RTL design. In contrast to previous work in static time-multiplexing of FPGA resources, Golden Gate employs the Latency-Insensitive Bounded Dataflow Network (LI-BDN) formalism to decompose the simulator into subcomponents, each of which may be independently and automatically optimized. This structure allows Golden Gate to support a broad class of optimizations that improve resource utilization by implementing FPGA-hostile structures over multiple cycles, while the LI-BDN formalism ensures that the simulator still produces bit- and cycle-exact results. To verify that these optimizations are implemented correctly, we also present LIME, a model-checking tool that provides a push-button flow for checking whether optimized subcomponents adhere to an associated correctness specification, while also guaranteeing forward progress. Finally, we use Golden Gate to generate a cycle-exact simulator of a multi-core SoC, where we reduce LUT utilization by up to 26% by coercing multi-ported, combinationally read memories into simulation models backed by time-multiplexed block RAMs, enabling us to simulate 50% more cores on a single FPGA. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1109/ICCAD45719.2019.8942087 | 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) |
Keywords | Field | DocType |
Golden Gate,resource-efficiency gap,FPGA-based simulation tool,FPGA host platform,FPGA resources,Latency-Insensitive Bounded Dataflow Network,optimizations,FPGA-hostile structures,LI-BDN formalism,cycle-exact simulator,LIME,time-multiplexed block RAM | Lookup table,Resource efficiency,Computer science,Correctness,Bridging (networking),Field-programmable gate array,Electronic engineering,Dataflow,Golden gate,Embedded system,Bounded function | Conference |
ISSN | ISBN | Citations |
1933-7760 | 978-1-7281-2351-6 | 1 |
PageRank | References | Authors |
0.34 | 16 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Albert Magyar | 1 | 13 | 2.24 |
David Biancolin | 2 | 23 | 3.80 |
John Koenig | 3 | 1 | 0.34 |
Sanjit A. Seshia | 4 | 2226 | 168.09 |
Jonathan Bachrach | 5 | 965 | 89.77 |
Krste Asanović | 6 | 2975 | 226.80 |