View: session overviewtalk overview
The self-registration desk (Tuesday and Wednesday) is outside one of our meeting rooms, Trondhjemssalen 1.
Follow signs to the Conference section of the hotel.
08:30 | Hardware/Firmware Verification in System-Level Design Flows – Can Formal Methods Meet the Challenge? SPEAKER: Wolfgang Kunz ABSTRACT. Models of System-on-Chip (SoC) designs at the Electronic System Level (ESL) are commonly used as extensions to standard SoC design flows. Verification techniques for ESL descriptions have become available that can efficiently explore the system’s global behavior. Yet, in industrial practice, due to the wide “semantic gap” between ESL models and their implementation at the RTL, sign-off verification still largely relies on RTL as the point of reference. RTL chip-level simulations are unavoidable and often dominate design costs. The situation is aggravated by the shrinking scope of hardware verification in SoC design in general. A trend can be observed where certain SoC functions traditionally implemented in hardware (e.g., main control, bus communication, power management) are now shifted into the firmware. This calls for new verification methods which complement HW verification by analyzing the precise effects of firmware on the underlying hardware. While most techniques of software verification operate at a hardware-independent level this talk will elaborate on the possible merits of a hardware-dependent software view. It describes a computational model recently developed for hardware-dependent SW verification and its application in formal property checking and equivalence checking of firmware. These techniques, in combination with formal hardware verification, are envisioned to pave the way towards new design flows closing the semantic gap between ESL and RTL models and, thus, drastically reducing in design and verification costs. The talk will describe recent results and new practices already explored in industrial case studies. |
10:00 | Design of Smart Integrated Energy-Harvesting Systems, oral introduction SPEAKER: J Jacob Wikner |
10:20 | Design of Efficient CMOS Rectifiers for Integrated Piezo-MEMS Energy-Harvesting Power Management Systems SPEAKER: unknown ABSTRACT. MEMS-based piezoelectric energy harvesters are promising energy sources for future self-powered medical implant devices, low-power wireless sensors, and a wide range of other emerging ultra-low-power applications. However, the small form factors and the low vibration frequencies can lead to very low (in μW range) harvester output power. This makes the design of integrated CMOS rectifiers a challenge, ultimately limiting the overall power efficiency of the entire power management system. This work investigates two different fully integrated rectifier topologies, i.e. voltage doublers and full bridges. Implemented in 0.35-μm, 0.18-μm, and 65-nm CMOS technologies, the two rectifier architectures are designed using active diodes and cross- coupled pairs. These are then evaluated and compared in terms of their power efficiency and voltage efficiency for typical piezo- electric transducers in such ultra-low-power applications which generate voltages between 0.27-1.2 V. Furthermore, analytical expressions for the rectifiers are verified against circuit simulation results, allowing a better understanding of their limitations. |
10:40 | Modelling squeeze film damping in packaged energy harvesters SPEAKER: unknown ABSTRACT. We investigate the effects of fluidic damping on packaged energy harvesters using numerical simulations in COMSOL Multiphysics. In particular, we compare two models for including squeeze film damping in the case the harvester is operating close to a wall; an equivalent mass damping based on approximate modal coefficients and the numerical solution of the Reynolds equation in the air gap between the wall and the structure. The models are evaluated on a bridge design harvester intended for automotive applications. |
11:00 | Electromechanical analogy for d33 piezoelectric harvester power calculations SPEAKER: unknown ABSTRACT. This paper combines both the well-known power transfer and electromechanical coupling analogy theories for calculating the electrical power output of d33-based piezoelectric harvesters. The proposed methodology utilized the direct mechanical-to-electrical analogy, electromagnetic and power system theories to develop analytical models to compute the power output taking into account the dimensions and material properties of the piezoelectric generator. The developed method has been experimentally validated and it was found that the current technique provides significant additional information that crucial for enhancing the device design and operation in a straightforward manner when compared to other conventional reported methods. |
11:20 | From Fan-out Wafer to Fan-out Panel Level Packaging SPEAKER: Tanja Braun ABSTRACT. Drivers for 3D packaging solutions are manifold and each requirement calls for different answers and technologies. Main goal is miniaturization, but component density and performance, simplification of design and assembly, flexibility, functionality and finally, cost and time-to-market have been found to be the core drivers for going 3D as well. Besides die and package stacking and folded packages, embedding dies is a key technology for heterogeneous system integration. Fan-out Wafer Level Packaging (FOWLP) is one of the latest packaging trends in microelectronics for heterogeneous system integration. Mold embedding for this technology is currently done on wafer level up to 12”/300 mm size. For higher productivity and therewith lower costs larger mold embedding form factors are forecasted for the near future. Following the wafer level approach then the next step will be a reconfigured wafer size of 450 mm. An alternative option would be leaving the wafer shape and moving to panel sizes leading to Fan-out Panel Level Packaging (FOPLP). Sizes for the panel could range up to 18”x24” or even larger. Already today PCB technologies offer the potential for large area panel packaging up to 24”x18”/610 x 457 mm² and can be applied to form a redistribution layer [RDL] for large area reconfigured wafers or panels, replacing thin film redistribution. In summary this paper describes the technological path from wafer level embedding to 24”x18” fan-out panel level packaging technology in combination with low cost PCB based RDL processes and discusses challenges and opportunities in detail. The technology described offers a cost effective packaging solution for various application as autonomous sensor nodes, packages for handheld consumer application or bio-medical application as sensor integration into microfluidics. |
11:40 | An All-Digital, CMOS Zero Current Switching Circuit for Thermal Energy Harvesting SPEAKER: Mohammad Alhawari ABSTRACT. This paper introduces an all-digital; CMOS zero current switching (ZCS) circuit that enables a wide dynamic and a fine resolution zero current detection range for high gain (50mv input to 1.35v output) inductor-based DC-DC converter. Using only a 3-bit design, more than 1.5 μs dynamic range with 50 ns delay resolution is achieved. The prototype chip is designed and simulated using 65 nm low-power CMOS technology and occupies less than 0.04 mm2 area. Post-layout SPICE simulation results confirm that 85% efficiency can be achieved for the overall system. The proposed circuit is part of a system that targets energy harvesting from human body thermal energy to enable long lifetime for wearable and biomedical devices. |
10:00 | A Digitally Assisted 20MHz-600MHz 16-Phase DLL Enhanced with Dynamic Gain Control Loop SPEAKER: Sarang Kazeminia ABSTRACT. In the proposed low-jitter delay locked loop (DLL), the analog charge pump (CP) is replaced by combination of binary accumulator (ACC) and digital-to-analog converter (DAC) to solve the problem of achieving small loop gains and mirroring small currents. Also, the problem of leakage currents during the lock state is removed when DAC provides a fixed analog voltage based on the ACC’s output digital code. A simple lock detector is utilized to deactivate ACC and to generate a fixed control voltage for delay elements when the loop locks. Another loop is also applied to dynamically control loop-gain and lock time. Loop-Gain decreases (increases) when DLL moves toward (away from) the lock condition to not only guarantee the loop stability but, provide a fast lock time. Smaller jitter is expected on the generated phases comparing to the analog CPs. Here, a fixed control voltage is provided by DAC and the leakage currents cannot affect the control voltage. RMS jitter of less than 33.5ps and 1.6ps are achieved at 20MHz and 625MHz operating frequencies, respectively. Lock time is reduced from 38µs to 2µs at 20MHz and also from 900ns to 45ns at 600MHz where loop-gain is multiplied by 16, 8 and 4 for out of lock region. Total power consumption is 7.85mW at 1.8V supply voltage in a 0.18µm CMOS process. |
10:20 | Low Power Continuous-Time Delta-Sigma ADC with Current Output DAC SPEAKER: unknown ABSTRACT. The paper presents a continuous-time (CT) Delta-Sigma analog-to-digital converter (ADC) using a current output digital-to-analog converter (DAC) for the feedback. From circuit analysis it is shown that using a current output DAC makes it possible to relax the noise requirements of the 1st integrator of the loopfilter, and thereby reduce the current consumption. Furthermore, the noise of the current output DAC being dependent on the ADC input signal level, enabling a dynamic range that is larger than the peak signal-to-noise ratio (SNR). The current output DAC is used in a 3rd order multibit CT Delta-Sigma ADC for audio applications, designed in a 0.18 um CMOS process, with active-RC integrators, a 7-level Flash ADC quantizer and current output DAC for the feedback. From simulations the ADC achieves a dynamic range of 95.0 dB in the audio band, with a current consumption of 284 uA for a 1.7 V supply voltage; the resulting figure-of-merit is 262 fJ/conversion. |
10:40 | A High Resolution Time-to-Digital Converter Utilizing Coupled Oscillator, ORIGAMI SPEAKER: unknown ABSTRACT. This paper present the high resolution time-todigital converter(TDC) using the new delay time measurement circuit. To generate tick mark on the time axis, the coupled oscillator, ORIGAMI, is used for precise scale marks. The minimal scale mark of the proposed method is ticked by the multiphase oscillator ORIGAMI, then the high resolution T-to-D conversion can be realized. The proposed TDC output is coded by the specific code, which is called as the center of gravity code, CGC. The CGC to binary decoding scheme is also discussed. To verify the proposed TDC performance, SPECTRE simulation results are shown, where 0.18 μm 1-poly 4-metal CMOS process is used. |
11:00 | A digitally corrected bandgap voltage reference with a 3σ temperature coefficient of 3.8 ppm/K SPEAKER: Hannes Badertscher ABSTRACT. Bangap voltage references (BGRs) are widely used in today’s circuits as references with a low temperature coefficient. Especially measurement circuits and metering applications demand a very low temperature coefficient to maintain the desired precision over the entire temperature range. Today’s BGR designs use analog circuits to correct for the effects which lead to a temperature drift. In this paper a bandgap reference voltage which uses a digital correction technique is presented. The proposed design includes a temperature sensor to measure the current chip temperature and a bandgap reference which is controllable by a 3-bit digital input. The input to the bandgap block is calculated using a digital correction algorithm. The proposed design was implemented in a 0.35μm CMOS process and occupies 0.437 mm2. After calibration, a 3σ temperature coefficient of 3.8 ppm/K is achieved over a temperature range from −40 °C to 100 °C. With the proposed design, high performance measurements over a large temperature range have become possible. The digital design allows for an easy adaptation to various needs and temperature coefficients. |
11:20 | The Synthesis of Noise Transfer Functions for Bandpass Delta-Sigma Modulators with Tunable Center Frequency SPEAKER: unknown ABSTRACT. This paper presents a method to synthesize the noise transfer function (NTF) for tunable bandpass delta-sigma modulators, where the quantization noise stopband can be programmed over the whole Nyquist range. Instead of relying on traditional filter design theory, the proposed method allows to create NTFs of arbitrary order by directly placing the zeros and poles on the z-plane. The advantage is that the NTF can be re-calculated for each center frequency by using simple closed form expressions, thus avoiding the need of large lookup tables to store multiple pre-computed coefficient sets. Extensive system-level simulations show that our method yields equal performance as the Chebyshev-II design method. As an example, the synthesis of a binary 12th-order tunable bandpass delta-sigma modulator is demonstrated, and its stability is proven for any choice of the center frequency. |
11:40 | A Fully-Differential OTA in 28 nm UTBB FDSOI CMOS for PGA Applications SPEAKER: Prakash Harikumar ABSTRACT. This paper presents a fully-differential operational transconductance amplifier (OTA) designed in a 28~nm ultra-thin box and body (UTBB) fully-depleted silicon-on-insulator (FDSOI) CMOS process. An overview of the features of the 28~nm UTBB FDSOI process which are relevant for the design of analog/mixed-signal circuits is provided. The OTA which features continuous-time CMFB circuits will be employed in the programmable gain amplifier (PGA) for a 9-bit, 1 kS/s SAR ADC. The reverse body bias (RBB) feature of the FDSOI process is used to enhance the DC gain by 6~dB. The OTA achieves rail-to-rail output swing and provides DC gain = 70~dB, unity-gain frequency = 4.3~MHz and phase margin = 68$^\circ$ while consuming 2.9~$\mu$W with a $V_{DD}$ = 1~V. A high linearity $>$ 12~bits without the use of degeneration resistors and a settling time of 5.8~$\mu$s (11-bit accuracy) are obtained under nominal operating conditions. The OTA maintains satisfactory performance over all process corners and a temperature range of [$-$20$^\circ$C $+$85$^\circ$C]. |
13:10 | Clock Phase Imbalance and Phase Noise SPEAKER: unknown ABSTRACT. The quality of RF N-path filtering is limited by the performance of the involved multiphase clock. The paper presents analysis of critical clock imperfections. The phase imbalance that gives rise to an extra image band located at second harmonic frequency is analyzed by a linear periodically varying (LPV) model of a 4-path filter where the respective rejection ratio is estimated and verified by simulation. We also analyze the clock phase noise and devise that the reciprocal mixing is not diminished by the attained blocker rejection, however, in this case one can benefit from band limitation by the output capacitance of the driving transconductance amplifier (LNTA). The analysis is supported by simulation results. |
13:30 | Generation of parameterized macromodels of two-port RF circuits for SPICE simulator SPEAKER: Katarzyna Opalska ABSTRACT. This paper presents a procedure for creating a small signal parameterized circuit model of an two-port RF module (an amplifier in the case study) characterized in frequency domain. The black-box electrical circuit model is created using Vector Fitting routines and parameterized by circuit operating conditions. Generated model is useful for the analysis of various high-frequency electronic circuits using commonly available generic circuit simulation tools from SPICE family. The paper is focused on the case study of an RF amplifier model, used to illustrate both model generation as well as its usefulness in SPICE simulator. |
13:50 | Reduction of Harmonic Balance Equations Through Galerkin’s Method SPEAKER: unknown ABSTRACT. Harmonic balance suffers of the main drawback of requiring prohibitive numerical resources when the simulated circuit leads to waveforms with very sharp variations, since a large number of harmonics has to be used. The main reason is due to the fact that the numerical effort increases as a polynomial function of the number of harmonics. This drawback can be mitigated if peculiar solvers that need to neither store nor LU-factorise the Jacobian matrix related to the harmonic balance problem are used (e.g., gmres). Another approach is to adopt oversampling, i.e. still "well"evaluating the characteristics of the highly nonlinear devices while using a limited number of harmonics. This aspect is investigated in this paper and, by showing how the harmonic balance is a peculiar version of the more general Galerkin's method, a new version of the latter is introduced that potentially lowers the problem dimensionality. Furthermore it allows us to rigorously introduce and describe an oversampling technique that aids convergence by pushing aliasing effects to the high frequency portion of the spectrum. Its effectiveness is shown through a test circuit and numerical simulations. |
14:10 | All-Digital Phase-Locked Loop in 40 nm CMOS for 5.8 Gbps Serial Link Transmitter SPEAKER: unknown ABSTRACT. This paper describes an all-digital phase-locked loop based clock generator for a MIPI M-PHY serial link transmitter. The paper focuses on ADPLL phase accumulator speed optimization, PVT calibration, loop type changing criteria and power saving in phase digitization process. The experimental circuit is implemented in 40-nm CMOS and generates the MIPI M-PHY defined frequencies from 1.2 GHz to 5.8 GHz. |
14:30 | An Improved Estimation Method of 4 port S-parameters with 2 port Measurements SPEAKER: unknown ABSTRACT. An estimation method for the S-parameters of 4-port connection circuits that is connecting 2-port device to its one end is presented with a novel algorithm to improve the estimation accuracy. To obtain the 4-port S-parameters for the connection circuit are estimated using indirect measurements. That is, several known loads are connected to the 2 ports at the far end of the connection circuit in turn and the reflection and transmission characteristics among the near end 2 ports of the connection circuit are measured. The estimation method is constructed in the framework of linear algebra that eliminates the needs to solve nonlinear equations numerically, which enables application of theoretical analysis. This method can be applied to obtain the S-parameters of the 2-port device connected at the far end of the connection circuit by de-embedding the estimated 4-port connection S-parameters. |