Analog circuits for implementing soft decoding algorithms have been proposed and demonstrated by several researchers [1]. Optimization and verification of analog circuits remain difficult because the effects of non-ideal circuit behavior can be difficult or impossible to analyze. Importance sampling permits evaluation of analog designs using precise physical models in SPICE simulations. SPICE p...

In this paper we present a 2 input analog Current-Starved Pseudo-Floating Gate (CSPFG) inverter with capacitive feedback. The analog CSPFG inverter suppresses low frequencies due to the active, local feedback. This inverter can be used in designing filters where a narrow band pass or reject is the main goal. Typical applications are detection of high frequency components in sensor signals, i.e....

Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued interest. Among the advantages over traditional digital methods are physically realizable solutions and faster computation times. This paper focuses on the design, simulation, and hardware verification of a static transmiss...

In this contribution we present an advanced approach to property specification of analog systems and its benefits for model checking. Based on known concepts for time constrained model checking of analog circuits, we introduce a new specification language called Analog Specification Language (ASL) and the related methodology for specifying complex properties of analog circuits in a designer-ori...

The goal of verifying an analog circuit is to make sure that the implementation of the circuit exhibits the desired behavior. Traditionally, analog circuits are analyzed using simulation techniques. However, simulation results cannot be termed as 100% accurate due to the approximations introduced by using computer arithmetics, such as floating or fixed point numbers, for constructing computer b...

Wireless sensor node networks have the potential to become the next great driver application in the further development of wireless communication systems. Ubiquitous sensor nodes of small size, low cost and low power consumption form the enabling technology behind these future sensor networks. To achieve battery–independent operation through energy scavenging, all components of the system have ...