Automated synthesis of macro/behavioral models for mixed analog/digital circuits, including complete power supply effects | IEEE Conference Publication | IEEE Xplore