A Two-Level Waveform Relaxation Approach for System-Level Power Delivery Verification

被引:1
|
作者
Moglia, Alessandro [1 ]
Carlucci, Antonio [1 ]
Grivet-Talocia, Stefano [1 ]
Mongrain, Scott [2 ]
Kulasekaran, Sid [2 ]
Radhakrishnan, Kaladhar [2 ]
机构
[1] Politecn Torino, Dept Elect & Telecommun, Turin, Italy
[2] Intel Corp, Chandler, AZ 85226 USA
关键词
D O I
10.1109/EDAPS58880.2023.10468326
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
This paper considers a complete power delivery network model of a multicore processing system, including per-core voltage regulation loops through Fully Integrated Voltage Regulators. Based on a nonlinear descriptor formulation of the system equations, we propose a transient solver based on a two-level Waveform Relaxation iteration. The convergence properties and the scalability of this solver when implemented on a parallel computing architecture are investigated. Numerical results show fast convergence and excellent scalability properties.
引用
收藏
页数:3
相关论文
共 50 条
  • [1] Fast Transient Simulation of System-Level Power Delivery Networks via Parallel Waveform Relaxation
    Moglia, Alessandro
    Carlucci, Antonio
    Grivet-Talocia, Stefano
    Kulasekaran, Siddharth
    Radhakrishnan, Kaladhar
    IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY, 2025, 15 (01): : 39 - 53
  • [2] System-level assertions: approach for electronic system-level verification
    Sohofi, Hassan
    Navabi, Zainalabedin
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2015, 9 (03): : 142 - 152
  • [3] A Verification Approach for System-Level Concurrent Programs
    Daum, Matthias
    Doerrenbaecher, Jan
    Schmidt, Mareike
    Wolff, Burkhart
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 161 - 176
  • [4] A two-level fusion approach to multimodal biometric verification
    Cheung, MC
    Mak, MW
    Kung, SY
    2005 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOLS 1-5: SPEECH PROCESSING, 2005, : 485 - 488
  • [5] A Two-Level Approach for Modeling and Verification of Telecommunication Systems
    Beloglazov, Dmitry
    Nepomniaschy, Valery
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 70 - 85
  • [6] Two-level systems with relaxation
    Rourke, DE
    Khodarinova, L
    Karabanov, AA
    PHYSICAL REVIEW LETTERS, 2004, 92 (16) : 163003 - 1
  • [7] A Compressed Multivariate Macromodeling Framework for Fast Transient Verification of System-Level Power Delivery Networks
    Carlucci, Antonio
    Bradde, Tommaso
    Grivet-Talocia, Stefano
    Mongrain, Scott
    Kulasekaran, Sid
    Radhakrishnan, Kaladhar
    IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY, 2023, 13 (10): : 1553 - 1566
  • [8] System-level Max Power (SYMPO) - A Systematic Approach for Escalating System-level Power Consumption using Synthetic Benchmarks
    Ganesan, Karthik
    Jo, Jungho
    Bircher, W. Lloyd
    Kaseridis, Dimitris
    Yu, Zhibin
    John, Lizy K.
    PACT 2010: PROCEEDINGS OF THE NINETEENTH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 2010, : 19 - 28
  • [9] System-level verification - A comparison of approaches
    Turner, R
    TENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS, 1999, : 154 - 159
  • [10] System-level verification tool rolls
    McGrath, Dylan
    Electronic Engineering Times, 2006, (1427) : 38 - 39