Formal Synthesis of Circuits With Minimum Noise Figure Using Linear Matrix Inequalities | IEEE Journals & Magazine | IEEE Xplore