A “true” electrical cell model for timing, noise, and power grid verification | IEEE Conference Publication | IEEE Xplore