-
Establishing best practices for modeling long duration energy storage in deeply decarbonized energy systems
Authors:
Gabriel Mantegna,
Wilson Ricks,
Aneesha Manocha,
Neha Patankar,
Dharik Mallapragada,
Jesse Jenkins
Abstract:
Long duration energy storage (LDES) may become a critical technology for the decarbonization of the power sector, as current commercially available Li-ion battery storage technologies cannot cost-effectively shift energy to address multi-day or seasonal variability in demand and renewable energy availability. LDES is difficult to model in existing energy system planning models (such as electricity…
▽ More
Long duration energy storage (LDES) may become a critical technology for the decarbonization of the power sector, as current commercially available Li-ion battery storage technologies cannot cost-effectively shift energy to address multi-day or seasonal variability in demand and renewable energy availability. LDES is difficult to model in existing energy system planning models (such as electricity system capacity expansion models), as it is much more dependent on an accurate representation of chronology than other resources. Techniques exist for modeling LDES in these planning models; however, it is not known how spatial and temporal resolution affect the performance of these techniques, creating a research gap. In this study we examine what spatial and temporal resolution is necessarily to accurately capture the full value of LDES, in the context of a continent-scale capacity expansion model. We use the results to draw conclusions and present best practices for modelers seeking to accurately model LDES in a macro-energy systems planning context. Our key findings are: 1) modeling LDES with linked representative periods is crucial to capturing its full value, 2) LDES value is highly sensitive to the cost and availability of other resources, and 3) temporal resolution is more important than spatial resolution for capturing the full value of LDES, although how much temporal resolution is needed will depend on the specific model context.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Reducing transmission expansion by co-optimizing sizing of wind, solar, storage and grid connection capacity
Authors:
Aneesha Manocha,
Neha Patankar,
Jesse D. Jenkins
Abstract:
Expanding transmission capacity is likely a bottleneck that will restrict variable renewable energy (VRE) deployment required to achieve ambitious emission reduction goals. Grid interconnection and inter-regional transmission capacity may be reduced by the optimal sizing of VREs to grid connection or co-location of VRE and battery resources behind the grid interconnection, but neither of these cap…
▽ More
Expanding transmission capacity is likely a bottleneck that will restrict variable renewable energy (VRE) deployment required to achieve ambitious emission reduction goals. Grid interconnection and inter-regional transmission capacity may be reduced by the optimal sizing of VREs to grid connection or co-location of VRE and battery resources behind the grid interconnection, but neither of these capabilities are commonly captured in macro-energy system models. We thus develop these two new functionalities to explore the substitutability of storage for transmission and VRE resource trade-offs through 2030 in the Western Interconnection of the United States. Our findings indicate that not modeling co-location fails to capture the full substitutability of storage and solar photovoltaic (PV) resources for transmission: co-location can reduce long-distance inter-regional transmission expansion by 12-31% and decrease grid connection capacity and shorter-distance transmission interconnection by 20-25%. We also demonstrate that not modeling colocated storage does not accurately reflect competition between wind and solar PV resources and underestimates the value of energy storage: co-location of VREs and storage favors solar PV (4-5% increase) and lithium-ion battery deployment (1.7-6 times increase), while decreasing wind buildout (0.9-1.6% decline).
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
Authors:
Marcelo Orenes-Vera,
Aninda Manocha,
David Wentzlaff,
Margaret Martonosi
Abstract:
Modern SoC design relies on the ability to separately verify IP blocks relative to their own specifications. Formal verification (FV) using SystemVerilog Assertions (SVA) is an effective method to exhaustively verify blocks at unit-level. Unfortunately, FV has a steep learning curve and requires engineering effort that discourages hardware designers from using it during RTL module development. We…
▽ More
Modern SoC design relies on the ability to separately verify IP blocks relative to their own specifications. Formal verification (FV) using SystemVerilog Assertions (SVA) is an effective method to exhaustively verify blocks at unit-level. Unfortunately, FV has a steep learning curve and requires engineering effort that discourages hardware designers from using it during RTL module development. We propose AutoSVA, a framework to automatically generate FV testbenches that verify liveness and safety of control logic involved in module interactions. We demonstrate AutoSVA's effectiveness and efficiency on deadlock-critical modules of widely-used open-source hardware projects.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
The MosaicSim Simulator (Full Technical Report)
Authors:
Opeoluwa Matthews,
Aninda Manocha,
Davide Giri,
Marcelo Orenes-Vera,
Esin Tureci,
Tyler Sorensen,
Tae Jun Ham,
Juan L. Aragón,
Luca P. Carloni,
Margaret Martonosi
Abstract:
As Moore's Law has slowed and Dennard Scaling has ended, architects are increasingly turning to heterogeneous parallelism and domain-specific hardware-software co-designs. These trends present new challenges for simulation-based performance assessments that are central to early-stage architectural exploration. Simulators must be lightweight to support rich heterogeneous combinations of general pur…
▽ More
As Moore's Law has slowed and Dennard Scaling has ended, architects are increasingly turning to heterogeneous parallelism and domain-specific hardware-software co-designs. These trends present new challenges for simulation-based performance assessments that are central to early-stage architectural exploration. Simulators must be lightweight to support rich heterogeneous combinations of general purpose cores and specialized processing units. They must also support agile exploration of hardware-software co-design, i.e. changes in the programming model, compiler, ISA, and specialized hardware.
To meet these challenges, we introduce MosaicSim, a lightweight, modular simulator for heterogeneous systems, offering accuracy and agility designed specifically for hardware-software co-design explorations. By integrating the LLVM toolchain, MosaicSim enables efficient modeling of instruction dependencies and flexible additions across the stack. Its modularity also allows the composition and integration of different hardware components. We first demonstrate that MosaicSim captures architectural bottlenecks in applications, and accurately models both scaling trends in a multicore setting and accelerator behavior. We then present two case-studies where MosaicSim enables straightforward design space explorations for emerging systems, i.e. data science application acceleration and heterogeneous parallel architectures.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.