P2P and Rmap - new software tool for quick and easy verification of power nets | IEEE Conference Publication | IEEE Xplore