 entire career. Reduced order modeling, relaxation-based tech- niques, Krylov subspace accelerations have made it possible to verify relatively large circuits with a degree of accuracy that was unthinkable only a few years ago. At the same time, (semi-) automatic layout and parametric optimization for analog circuits have made it in the commercial world. Yet, much research still needs to be done to FOREWORD bring productivity at the appropriate level. As we move towards submicron designs, there is an increasing fear that second-order physical effects can possibly not be com- pensated for challenging analog components. Hence, the benefits of integration may not be enough to warrant the increased design problems unless significant advances are made to build analog circuits that are robust with respect to submicron undesirable effects. RF circuits are even more difficult to deal with. Next generation wireless devices are likely to be multi-standard (they are often referred to as software-defined radios) and pose two fundamental challenges: the design of the multi-frequency RF front-end and the reconfigurability needed at base-band. At this time, there has not been a satisfactory design that could yield a successful industrial product. It is safe to say that a good part of the reasons why this is SO resides in the lack of methodologies and tools. This book is about modeling, analysis and verification of RF circuit behavior addressed in a rigorous way. It is directed to a category of engineers who are between design and EDA. It has a good tutorial dimension SO that it can be used in a course. In particu- lar, the simple description in plain words of the essence of the different methods, this before diving into the mathematical details, makes reading this book a pleasant expe- rience without sacrificing precision and rigor. Its strength is in its informed review of linear periodically time varying system analysis and the analysis of oscillator dy- namics, including phase noise in oscillators. Both topics are essential 