a method for verifying on - chip decoupling capacitance by formulating and solving a linear problem . further , a software tool for determining decoupling capacitance on a computer chip using a linear problem . further , a method for designing an integrated circuit such that there is enough decoupling capacitance on the integrated circuit .