The following publications are possibly variants of this publication:
- Verifying RLC Power Grids With Transient Current ConstraintsXuanxing Xiong, Jia Wang. tcad, 32(7):1059-1071, 2013. [doi]
- An efficient dual algorithm for vectorless power grid verification under linear current constraintsXuanxing Xiong, Jia Wang. dac 2010: 837-842 [doi]
- Dual Algorithms for Vectorless Power Grid Verification Under Linear Current ConstraintsXuanxing Xiong, Jia Wang. tcad, 30(10):1469-1482, 2011. [doi]
- Constraint abstraction for vectorless power grid verificationXuanxing Xiong, Jia Wang. dac 2013: 87 [doi]
- Transient Noise Bounds using Vectorless Power Grid VerificationNaval Gupte, Jia Wang. iccad 2015: 713-720 [doi]
- More realistic power grid verification based on hierarchical current and power constraintsChung-Kuan Cheng, Peng Du, Andrew B. Kahng, Grantham K. H. Pang, Yuanzhe Wang, Ngai Wong. ispd 2011: 159-166 [doi]