Minimizing area of VLSI power distribution networks using river formation dynamics

S Dash, S Dey, D Joshi, G Trivedi - Journal of Systems and …, 2018 - emerald.com
Purpose The purpose of this paper is to demonstrate the application of river formation
dynamics to size the widths of power distribution network for very large-scale integration …

Dual algorithms for vectorless power grid verification under linear current constraints

X **ong, J Wang - … Transactions on Computer-Aided Design of …, 2011 - ieeexplore.ieee.org
Vectorless power grid verification makes it possible to evaluate worst-case voltage noises
without enumerating possible current waveforms. Under linear current constraints, the …

Constraint abstraction for vectorless power grid verification

X **ong, J Wang - Proceedings of the 50th Annual Design Automation …, 2013 - dl.acm.org
Vectorless power grid verification is a formal approach to analyze power supply noises
across the chip without detailed current waveforms. It is typically formulated and solved as …

Vectorless transient power grid verification: A case study with IBM benchmarks

X **ong, J Wang - 2015 IEEE Symposium on Electromagnetic …, 2015 - ieeexplore.ieee.org
Vectorless power grid verification is a powerful method that evaluates the worst-case voltage
noises without detailed current waveforms by using optimization techniques. It is extremely …

Fast vectorless RLC grid verification

M Fawaz, FN Najm - … on Computer-Aided Design of Integrated …, 2016 - ieeexplore.ieee.org
Checking the power distribution network of an integrated circuit must start early in the design
process, when changes to the grid can be more easily implemented. Vectorless verification …

Power grid verification under transient constraints

M Fawaz, FN Najm - 2017 IEEE/ACM International Conference …, 2017 - ieeexplore.ieee.org
Checking the power grid must begin early in the design. One way of doing this is using
vectorless verification which, unlike standard simulation, only requires limited information …

Transient noise bounds using vectorless power grid verification

N Gupte, J Wang - 2015 IEEE/ACM International Conference …, 2015 - ieeexplore.ieee.org
Efficient power grid verification, critical in modern integrated circuits, is computationally
demanding because of increasing grid sizes. Vectorless approach to grid verification …

[BOOK][B] Power Grid Verification

M Fawaz - 2017 - search.proquest.com
This thesis develops a collection of computer-aided design (CAD) tools for analysis and
verification of the power delivery network (PDN) in integrated circuits. With technology …

[BOOK][B] Power grid verification on cloud

N Gupte - 2016 - search.proquest.com
Reliability and performance of modern ICs is becoming increasingly susceptible to supply
voltage variations. Increased demand for low voltage integrated circuits has made power …

[BOOK][B] Verification of large-scale on-chip power grids

X **ong - 2013 - search.proquest.com
As technology scaling continues, the performance and reliability of integrated circuits
become increasingly susceptible to power supply noises, such as IR drops and Ldi/dt noises …