A methodology for the automated design of single-ended low noise amplifiers (LNA) is presented. The method relies on symbolic analysis and simulated annealing to solve the unconstrained optimization problem. Symbolic analysis allows for automatic synthesis of any given LNA topology, without a priori knowledge. To validate the proposed method, three different LNA topologies are synthesized at 900 MHz, using a 0.35 μm CMOS technology and verified by the Spectre simulator of the Cadence design environment. It is shown that the synthesis and verification results are in good agreement.