OTA-based non-linear function approximations

The suitability of operational transconductance amplifiers (OTAs) as the main active element to obtain basic building blocks for the design of programmable nonlinear continuous-time networks is examined. The main purpose is to show that the OTA, as the active element in basic building blocks, can be efficiently used for nonlinear continuous-time function synthesis. Two efficient nonlinear function synthesis approaches are presented. The first approach is a rational approximation, and the second is a piecewise-linear approach. Test circuits have been integrated using a 3-μm p-well CMOS process. The flexibility of the designed and tested circuits is confirmed

Low passband sensitivity digital filters: A generalized viewpoint and synthesis procedures

The concepts of losslessness and maximum available power are basic to the low-sensitivity properties of doubly terminated lossless networks of the continuous-time domain. Based on similar concepts, we develop a new theory for low-sensitivity discrete-time filter structures. The mathematical setup for the development is the bounded-real property of transfer functions and matrices. Starting from this property, we derive procedures for the synthesis of any stable digital filter transfer function by means of a low-sensitivity structure. Most of the structures generated by this approach are interconnections of a basic building block called digital "two-pair," and each two-pair is characterized by a lossless bounded-real (LBR) transfer matrix. The theory and synthesis procedures also cover special cases such as wave digital filters, which are derived from continuous-time networks, and digital lattice structures, which are closely related to unit elements of distributed network theory

A design tool for high-resolution high-frequency cascade continuous- time Σ∆ modulators

Event: Microtechnologies for the New Millennium, 2007, Maspalomas, Gran Canaria, SpainThis paper introduces a CAD methodology to assist the de signer in the implementation of continuous-time (CT) cas- cade Σ∆ modulators. The salient features of this methodology ar e: (a) flexible behavioral modeling for optimum accuracy- efficiency trade-offs at different stages of the top-down synthesis process; (b) direct synthesis in the continuous-time domain for minimum circuit complexity and sensitivity; a nd (c) mixed knowledge-based and optimization-based architec- tural exploration and specification transmission for enhanced circuit performance. The applicability of this methodology will be illustrated via the design of a 12 bit 20 MHz CT Σ∆ modulator in a 1.2V 130nm CMOS technology.Ministerio de Ciencia y Educación TEC2004-01752/MICMinisterio de Industria, Turismo y Comercio FIT-330100-2006-134 SPIRIT Projec

Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics

We present a procedure for reducing the number of continuous states of discrete-time linear switched systems, such that the reduced system has the same behavior as the original system for a subset of switching sequences. The proposed method is expected to be useful for abstraction based control synthesis methods for hybrid systems

Operational transconductance amplifier-based nonlinear function syntheses

It is shown that the operational transconductance amplifier, as the active element in basic building blocks, can be efficiently used for programmable nonlinear continuous-time function synthesis. Two efficient nonlinear function synthesis approaches are presented. The first approach is a rational approximation, and the second is a piecewise-linear approach. Test circuits have been fabricated using a 3- mu m p-well CMOS process. The flexibility of the designed and tested circuits was confirme

Energy-Efficient Multi-View Video Transmission with View Synthesis-Enabled Multicast

Multi-view videos (MVVs) provide immersive viewing experience, at the cost of heavy load to wireless networks. Except for further improving viewing experience, view synthesis can create multicast opportunities for efficient transmission of MVVs in multiuser wireless networks, which has not been recognized in existing literature. In this paper, we would like to exploit view synthesis-enabled multicast opportunities for energy-efficient MVV transmission in a multiuser wireless network. Specifically, we first establish a mathematical model to characterize the impact of view synthesis on multicast opportunities and energy consumption. Then, we consider the optimization of view selection, transmission time and power allocation to minimize the weighted sum energy consumption for view transmission and synthesis, which is a challenging mixed discrete-continuous optimization problem. We propose an algorithm to obtain an optimal solution with reduced computational complexity by exploiting optimality properties. To further reduce computational complexity, we also propose two low-complexity algorithms to obtain two suboptimal solutions, based on continuous relaxation and Difference of Convex (DC) programming, respectively. Finally, numerical results demonstrate the advantage of the proposed solutions.Comment: 22 pages, 6 figures, to be published in GLOBECOM 201

Lazy Abstraction-Based Controller Synthesis

We present lazy abstraction-based controller synthesis (ABCS) for continuous-time nonlinear dynamical systems against reach-avoid and safety specifications. State-of-the-art multi-layered ABCS pre-computes multiple finite-state abstractions of varying granularity and applies reactive synthesis to the coarsest abstraction whenever feasible, but adaptively considers finer abstractions when necessary. Lazy ABCS improves this technique by constructing abstractions on demand. Our insight is that the abstract transition relation only needs to be locally computed for a small set of frontier states at the precision currently required by the synthesis algorithm. We show that lazy ABCS can significantly outperform previous multi-layered ABCS algorithms: on standard benchmarks, lazy ABCS is more than 4 times faster

System-level optimization of baseband filters for communication applications

In this paper, a design approach for the high-level synthesis of programmable continuous-time baseband filters able to achieve optimum trade-off among dynamic range, distortion behavior, mismatch tolerance and power area consumptions is presented. The proposed approach relies on building programming circuit elements as arrays of switchable unit cells and defines the synthesis as a constrained optimization problem with both continuous and discrete variables, this last representing the number of enabled cells of the arrays at each configuration. The cost function under optimization is, then, defined as a weighted combination of performance indices which are estimated from macromodels of the circuit elements. The methodology has been implemented in MATLAB™ and C++, and covers all the classical approximation techniques for filters, most common circuit topologies (namely, ladder simulation and cascaded biquad realizations) and both transconductance-C (Gm-C) and active-RC implementation approaches. The proposed synthesis strategy is illustrated with a programmable equal-ripple ladder Gm-C filter for a multi-band power-line communication modem.P.R.O.F.I.T. FIT-070000-2001-84