Abstract
Nonlinear signal processing is necessary in many emerging applications where form factor and power are at a premium. In order to make such complex computation feasible under these constraints, it is necessary to implement the signal processors as analog circuits. Since analog circuit design is largely based on a linear systems perspective, new tools are being introduced to circuit designers that allow them to understand and exploit circuit nonlinearity for useful processing. This paper discusses two such tools, which represent nonlinear circuit behavior in a graphical way, making it easy to develop a qualitative appreciation for the circuits under study.
1. Introduction
Portable and implantable, always-on electronics stand to benefit from analog signal processing, when only low levels of precision are necessary [1, 2]. To achieve sophisticated signal processing with low power and area overhead, an analog processor can exploit the fundamental nonlinear dynamics that are found in devices and simple circuits. So, the circuit designer must depart from the traditional linear systems paradigm, and learn to analyze and understand circuits from a nonlinear dynamical systems theory perspective.
In order to make nonlinear circuit design relevant to an engineer, it must be taught intuitively enough to foster creativity, yet rigorously enough to be of practical benefit. The two most popular tools for studying nonlinear circuits are harmonic balance and Volterra series. Within certain limitations, they are rigorous, but not necessarily intuitive. Since harmonic balance is simulation-based, it can be used to predict nonlinear behavior without ever requiring a deep understanding [3] of the circuit. Volterra series is an analytical tool that quickly leads to high entropy [4] mathematical expressions, from which the causative physical phenomena are hard to discern, much less purposefully manipulate.
To bridge the gap between rigor and intuition, we can use visual representation techniques. If the appropriate visualization is formed from rigorous definitions of a circuit's dynamics, then the human vision system, with its pattern recognition ability, will perceive the circuit's qualitative behavior [5].
We will present a filter block diagram for analyzing harmonic distortion that is derived from perturbation analysis. Unlike Volterra series kernels, our filter block diagram does not include multidimensional Fourier transforms, and so is accessible to an introductory-level engineering audience. In the second part of this paper, we will discuss the creation and use of phase plane plots of nonlinear circuits. We will describe how to rapidly create the phase plane plots with a reconfigurable hardware platform, instead of with a numerical simulator.
This paper is an expansion of the work presented in [6].
2. Regular Perturbation
Whenever designers want to get an analytical handle on the sources and causes of distortion, the most commonly-used tool is Volterra series analysis. If a problem is tractable using Volterra series, then it can also be solved with perturbation theory, which will yield asymptotically-identical results [7].
There are certain problems for which Volterra series are ill-suited—multiple-time-scale behavior and multiple steady states, for instance [8]—that can be solved with perturbation theory. Despite the power of perturbation theory, it is still a relatively obscure concept in discussions about nonlinearity and distortion in analog circuits.
We therefore find it worthwhile to give a basic treatment of regular perturbation—the simplest perturbation method—as applied to distortion analysis of first-order analog circuits. In addition, a filter block diagram representation of the circuit will naturally evolve from our analysis, making it visually clear how the distortion terms are manifested, and how well-known tenets of low-distortion design, such as feedback, come about.
Consider the initial value problem where is a small perturbation parameter such that yields an analytically-soluble equation. If is sufficiently smooth (the specific smoothness requirements of are discussed in [9]), then the problem has a unique solution . As the solution for may not be analytical, it can be approximated as a power series in to an accuracy of . That is, we can write the solution as where is the approximate solution. To conduct regular perturbation, we apply the substitution to (1). The resulting system is then solved by equating like powers of . The following sections will illuminate this idea.
3. The Basic First-Order Circuit
Most common first-order analog ciruits (simple amplifiers, buffers, switches, etc.) are of the form depicted in Figure 1. The governing equation is where is the a.c. input signal, is the a.c. output signal and and are nonlinear functions. The dependence of the system on the output, other than through feedback to the input, is modeled by . In practice, is typically some nonideality such as finite output resistance.
In order to apply perturbation analysis to (3), we begin by assuming that the input signal has a small amplitude. This is expressed as , where is a small perturbation parameter and is a suitably-scaled version of the input signal. Note that with the definition of , (3) is solvable via separation of variables for the special case .
With the introduction of the perturbation parameter , we can approximate the solution to (3) with the power series Note the term of (4) is set to . This corresponds to analyzing a circuit about its d.c. bias point, where the d.c. bias point is shifted to the origin. For ease of notation, define . The approximation of is defined similarly to (4), with and for all .
If is sufficiently small, then the functions and can be approximated by their truncated Taylor series as Functions and are assumed to be dominantly th-order nonlinearities, with and . Equation (5) assumes , which, again, corresponds to analyzing a circuit about its d.c. bias point.
Substituting (4) and (5) into (3) and collecting powers of , we get the following set of first-order linear equations
The equation is the linearized portion of (3) with input . Taking the Laplace transform of this equation, we write where .
The equations () are filters with input. As such, the steady state solutions of these equations is .
4. Harmonic Distortion Terms
The inputs of the equation are terms of and . To understand the implications of these terms to harmonic distortion, assume a single-tone input, . This elicits the signals Here we have defined . The phases and are the arguments of and , respectively. The signals and are single tones of frequency as well, since they are merely linearly-filtered versions of .
Raising and each to the th power produces harmonics as follows. If is odd(even), then odd(even) harmonics up to the th harmonic are generated. The amplitude of the frequency term in is while that of the frequency term in is After filtering in the equation, the amplitudes of these terms will be, respectively,
Analogous to that of the equation, the input to the equation has terms in and . In general, the terms are identically zero, except for the special case .
5. Feedback and Distortion
We now make some observations about the harmonic distortion results that were discussed in the previous section.
In the equation, the amplitude of the th harmonic that the term contributes is given by (12). We plot this amplitude expression, along with that of (11), as a function of frequency in Figure 2 for the third-order harmonic generated by a dominantly-third order nonlinearity. That is, and . Also, we chose , , , , where was varied from to .
(a)
(b)
Notice from the figure that if , then, for a given frequency, the amplitude of the -contributed harmonic is greatly reduced. In fact, if we ensure , then the harmonic contribution of the terms is negligible. This would mean that the distortion is effectively due only to , whose associated harmonics are band-pass filtered. This in turn means that the distortion can be kept small if the circuit is operated well below the corner frequency.
These two notions—that frequency and feedback gain can be sacrificed for higher linearity—conform with the traditional rules-of-thumb for low-distortion design.
6. Illustrative Examples
6.1. Source Follower Amplifier
According to KCL, the circuit equation of the source follower amplifier in Figure 3(a) is where the function is defined as if is in above-threshold saturation, and if it is in subthreshold saturation. The parameter depends on transistor dimensions and doping and is the threshold voltage. Also, , , and have their usual meanings from the EKV MOSFET model [10].
(a)
(b)
Note that , where and are the d.c. bias-points of the gate and source of , respectively. Let us define a characteristic voltage, , as Now, (13) can be nondimensionalized [9] by making the substitutions where and are the a.c. portions of and . This gives the state-space equation of the source follower as for above threshold, and for the truncated Taylor expansion in subthreshold. The point is that, regardless of region of operation of , the nonlinear equation that describes the source follower has the same functional form. Relating the source follower equations to (3), we have and . As such, we expect the harmonic distortion terms to have a band-pass-like dependence on frequency. To show this, we will apply regular perturbation to (18).
First, define , where the small parameter is a scaled version of the input amplitude. That is, . Also, taking and and equating like powers of up to , we have as depicted in Figure 3(b). Assume a pure-tone input, . Equation (20) is the linear portion of the amplifier. Equation (21) is a linear filter with input . The squaring produces a second-harmonic term as well as a d.c. offset. In addition, since , the second harmonic generated by the squaring is high-pass filtered. The overall effect is that is a band-pass filtered version of a second harmonic of . Figure 4 is a plot of experimental data that corroborates our analysis. There is error in the second harmonic measurement due to the small amplitudes involved.
6.2. Unity Gain Buffer
Consider the unity-gain buffer depicted in Figure 5(a). It is formed by placing an operational transconductance amplifier (OTA) in negative feedback. If we operate the OTA above threshold, the describing equation is while it is for subthreshold operation. Notice that we have ignored the output conductance term, which is considered very small for OTAs.
(a)
(b)
We can define a characteristic voltage, , as Then, with the following definitions the nondimensional form of the unity-gain buffer's describing equations (taken to the first few Taylor series terms) is Again, the functional form of the equations is identical, regardless of region of operation.
To calculate distortion terms, assume is a pure-tone signal and proceed as usual. For subthreshold, the separated equations of are These equations are depicted in the block diagram of Figure 5(b). Equation (27) is the linear portion of the amplifier. Equation (28) is a linear filter with input; it contributes no harmonics at steady state. Equation (29) is a linear filter with input . The cubing produces a third-harmonic term as well as a fundamental-frequency term (this fundamental-frequency term will cause gain compression, which is not discussed in this paper). Since , the overall effect is that is a band-pass filtered version of a third harmonic of , as shown in Figure 6.
6.3. Note on Above-Threshold versus Subthreshold Operation
The harmonic behavior of a circuit is similar for above- and subthreshold operation. In absolute numbers, however, above threshold operation yields less distortion. This is because the parameter is much smaller for above threshold than for subthreshold. Since the harmonics are multiplied by , the smaller seen in above threshold operation translates to lower distortion.
7. Field Programmable Analog Array
We have developed a field programmable analog array (FPAA) that can be configured to synthesis and analyze a vast variety of circuits [11]. Figure 7 depicts a simple, second-order filter compiled on our FPAA. More complex circuit configurations are possible, and would involve a larger number of the over components in the FPAA. In this part of the paper we demonstrate the utility and versatility of the FPAA in analyzing the dynamics of a number of fundamental circuit blocks.
8. One-Dimensional Systems
8.1. Simple Current Mirror
Consider the simple current mirror depicted in Figure 8(a). From Kirchhoff's Current Law (KCL), it obeys the following differential equation: where is the drain current of transistor M1. Assuming M1 and M2 are identical and are both saturated, we have , which gives
(a)
(b)
(c)
For subthreshold operation in saturation, the current through transistors M1 and M2 is [10] where is a pre-exponential constant dependent on the transistor's size and on doping concentrations. Also, is the body-effect coefficient and is the thermal voltage. is the source voltage, which, for this case, is zero. Setting and taking the derivative of (32) with respect to time, we get which allows us to rewrite (31) as The time constant is identified as .
Equation (35) happens to be the logistic equation, a simple model of population dynamics. It can be solved exactly either by separation of variables followed by partial fractions, or by solving it as Bernoulli's equation. The solution is where is the initial value of . We are lucky to have an exact solution to (35), given that it is a nonlinear differential equation. Even so, it is difficult to discern much useful information about 's qualitative behavior from (36). For instance, it is not clear how the behavior of might change with different initial conditions. To answer questions of this sort, it is helpful to do geometric analysis on the system's corresponding vector field.
Since the simple current mirror is a one-dimensional system, its vector field is represented as a flow on a line. The direction and speed of the flow are dictated by the right hand side (RHS) of (35). It is a quadratic, as shown in Figure 10. The -intercepts are and . There is a maximum at . The vector field is depicted as the arrows on the axis. For positive values of , is increasing, meaning the arrows point to the right. For negative values of , is decreasing, meaning the arrows point to the left. When , there is no change in and the circuit is said to be at equilibrium.
The vector field provides clear, qualitative information about the behavior of . There are two equilibrium points, namely and . Note that the vector field flows away from . This equilibrium point is unstable, since the system will not recover from slight disturbances away from it. The vector field flows towards , implying that this is a stable equilibrium point. If the system is initially at and then experiences a small disturbance, it will tend back to the point.
The vector field in Figure 10 also gives information about the acceleration of as it approaches the equilibrium point. For , the rate of change of increases until it reaches a peak at . Between and , the system decelerates until the rate of change of eventually becomes zero. For , the rate of change of steadily decreases until . It is interesting to note that, for , the rate of change of is limited to a maximum of .
The geometric analysis predictions can be checked against experimental measurements of a current mirror that was compiled onto an FPAA. Figure 8(b) depicts various trajectories, or solutions, of the system of (35) for different initial conditions. Notice that trajectories that start at values lower than have a sigmoidal shape, with the point of inflection corresponding to the maximum rate of change of current . The parabolic shape of can be extracted from these trajectories, and it is shown in Figure 8(c).
8.2. Simple Peak Detector
Assuming subthreshold operation, the KCL equation for the source follower amplifier of Figure 9(a) is the following. Note that in which case, the solution to (37) is where and is the initial value of .
(a)
(b)
(c)
The time that it takes for to be within 10% of its final value is
For a large positive step input, , and (40) is approximately
For a large negative step input, , and (40) becomes Equations (41) and (42) indicate that the response of the peak detector is slower for a negative input step than it is for a positive input step. We surmise that if the input is continuously varying at a rate faster than , then the output will be a reasonable representation of the input's peak values. Explaining the peak detector's behavior with (41) and (42) is rigorous, but depends on having to manipulate the expression of (39).
One way of avoiding the math is to employ intuitive descriptions of the charging action of the active device (i.e., the transistor) versus the discharging action of the current source [12]. A more rigorous approach is to apply nonlinear geometric analysis to the problem. Consider the plot of versus shown in Figure 9(c). We constructed it from a number of step response measurements (Figure 9(b)) that we took after compiling the source-follower amplifier onto the FPAA. A large negative input step corresponds to an initial value of . The rate of growth of is bounded by . For a large positive input step, however, , and the maximum rate at which approaches can be much greater than . The maximum rate of approach in this case is limited only by the initial value, . As such, there is an asymmetry in the speed of the circuit's response to up-going versus down-going movements on the input. The effect of this asymmetry is that tracks increasing and not decreasing , which is the behavior of a peak detector.
9. A Two-Dimensional System
Figure 11 depicts Lyon and Mead's classic second-order section [13]. It is a Gm-C filter with two poles that can be placed anywhere on the real/imaginary plane. We begin our analysis by writing down the governing equations for the circuit, assuming that the OTAs are based on subthreshold MOS transistor differential pairs: where are the bias currents of the OTAs. Also, is the ratio of the to .
If we define then (43) become Further defining where , we get the following dimensionless equation
9.1. Small Signal Analysis
We can linearize (47) by replacing the RHS with its Jacobian, giving The origin is a fixed point. In fact, it is a unique fixed point, since (from (47)) . The origin is stable for and unstable otherwise. It is a spiral for and a node otherwise.
9.2. Large Signal Analysis
For certain values of and , the nonlinearities of the second-order section causes it to suffer instability. In this region of parameter space, linear analysis accurately predicts that the circuit is small signal stable, but completely fails to recognize that instability would occur for large signals. Mead addresses this issue in [14], but we will present a somewhat more thorough treatment of the problem, using phase-plane analysis and experimental verification with the FPAA.
For very large values of and , the functions get saturated, and can each be approximated with a signum function. Equation (47) becomes Figure 12 shows the phase plane ( versus ) that corresponds to (51). The depicted motion is valid only if . The gradient in the first and third quadrants is and that in the second and fourth quadrants is Observe that, with an initial condition of , (51) predicts that the positive -axis will again be intercepted at . If , then and will grow without bound. Stated in terms of the and variables, there is large signal instability if Our analysis of the second-order section can readily be verified experimentally. We compiled the filter on the FPAA, as shown in Figure 7. The bias currents of all three OTAs are user-programmable, and varying them corresponds to varying the values of and . The FPAA thus allows us to explore the parameter space of the filter, and to observe changes in its qualitative behavior. It can effectively be used for bifurcation analysis.
Figure 13 shows the filter's phase plane plots for various values of , with kept fixed. Just as we predicted, there is a unique fixed point, which is initially stable, and gradually changes from a node to a spiral (Figures 13(a) and 13(c)). While linear analysis would predict these three responses as damped, slightly underdamped, and very underdamped, it fails to recognize the possibility of the fourth response, which is large-signal instability. In the fourth panel, meets the criterion derived from nonlinear analysis, (54), and we observe oscillation. Further analysis and exploration of parameter space reveals that this second-order section is capable of low-distortion sinusoidal oscillation [15]. Such functionality is valuable in communication systems.
(a)
(b)
(c)
(d)
10. Conclusion
In this paper, we have introduced visual and graphical techniques for analyzing nonlinear circuit dynamics. Our approach to studying harmonic distortion yields information about the various processing flows that are responsible for each harmonic term. The FPAA was used to rapidly create phase plane plots, which concisely encapsulate the nonlinear dynamics of the circuit under study. We have provided various examples of our techniques and have compared our predictions to experimentally-measured data.