Symbolic Moment Computation for Statistical Analysis of Large Interconnect Networks | IEEE Journals & Magazine | IEEE Xplore