Implementation of the dissection theorem in cadence virtuoso | IEEE Conference Publication | IEEE Xplore