共 50 条
- [1] Scalable Vectorless Power Grid Current Integrity Verification [J]. 2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
- [2] A Spectral Approach to Scalable Vectorless Thermal Integrity Verification [J]. PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 412 - 417
- [7] Constraint Abstraction for Vectorless Power Grid Verification [J]. 2013 50TH ACM / EDAC / IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2013,
- [8] Overview of Vectorless/Early Power Grid Verification [J]. 2012 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2012, : 670 - 677
- [9] pGRASS-Solver: A Parallel Iterative Solver for Scalable Power Grid Analysis Based on Graph Spectral Sparsification [J]. 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
- [10] An Efficient Spectral Graph Sparsification Approach to Scalable Reduction of Large Flip-Chip Power Grids [J]. 2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 218 - 223