BibSLEIGH — vectorless stem

Used together with:

Stem vectorless$ (all stems)

DAC-2013-Feng #grid #power management #scalability #verification: Scalable vectorless power grid current integrity verification (ZF), p. 8.
DAC-2013-XiongW #abstraction #constraints #grid #power management #verification: Constraint abstraction for vectorless power grid verification (XX, JW), p. 6.
DAC-2010-XiongW #algorithm #constraints #grid #linear #performance #power management #verification: An efficient dual algorithm for vectorless power grid verification under linear current constraints (XX, JW), pp. 837–842.
DAC-2009-GhaniN #approximate #grid #performance #power management #using #verification: Fast vectorless power grid verification using an approximate inverse technique (NHAG, FNN), pp. 184–189.