An efficient dual algorithm for vectorless power grid verification under linear current constraints.

Xuanxing Xiong, Jia Wang

Browse the full DAC paper archive.