A low-voltage, low-power amplifier created by reasoning-based, systematic topology synthesis | IEEE Conference Publication | IEEE Xplore