Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

l-pGlu-(2-propyl)-l-His-l-ProNH2 attenuates 4-aminopyridine-induced epileptiform activity and sodium current: a possible action of new thyrotropin-releasing hormone analog for its anticonvulsant potential

L-PGlu-(2-proPyl)-L-His-L-ProNH(2) (NP-647) is a CNS active thyrotropin-releasing hormone (TRH) analog with potential application in various CNS disorders including seizures. In the present study, mechanism of action for protective effect of NP-647 was explored by studying role of NP-647 on epileptiform activity and sodium channels by using patch-clamp methods. Epileptiform activity was induced in subicular pyramidal neurons of hippocampal slice of rat by perfusing 4-aminopyridine (4-AP) containing Mg(+2)-free normal artificial cerebrospinal fluid (nACSF). Increase in mean firing frequency was observed after perfusion of 4-AP and zero Mg(+2) (2.10+/-0.47 Hz) as compared with nACSF (0.12+/-0.08 Hz). A significant decrease in mean firing frequency (0.61+/-0.22 Hz), mean frequency of epileptiform events (0.03+/-0.02 Hz vs. 0.22+/-0.05 Hz of 4-AP+0 Mg), and average number of action potentials in paroxysmal depolarization shift-burst (2.54+/-1.21 Hz vs. 8.16+/-0.88 Hz of 4-AP +0 Mg) was observed. A significant reduction in peak dV/dt (246+/-19 mV ms(-1) vs. 297 18 mV ms-1 of 4-AP+0 Mg) and increase (1.332+/-0.018 ms vs. 1.292+/-0.019 ms of 4-AP+0 Mg) in time required to reach maximum depolarization were observed indicating role of sodium channels. Concentration-dependent depression of sodium current was observed after exposure to dorsal root ganglion neurons to NP-647. NP-647 at different concentrations (1, 3, and 10 mu M) depressed sodium current (15+/-0.5%, 50+/-2.6%, and 75+/-0.7%, respectively). However, NP-647 did not show change in the peak sodium current in CNa18 cells. Results of present study demonstrated potential of NP-647 in the inhibition of epileptiform activity by inhibiting sodium channels indirectly. (C) 2011 IBRO. Published by Elsevier Ltd. All rights reserved.

Device oriented statistical modeling method for process variability in 45nm analog CMOS technology

With the rapid scaling down of the semiconductor process technology, the process variation aware circuit design has become essential today. Several statistical models have been proposed to deal with the process variation. We propose an accurate BSIM model for handling variability in 45nm CMOS technology. The MOSFET is designed to meet the specification of low standby power technology of International Technology Roadmap for Semiconductors (ITRS).The process parameters variation of annealing temperature, oxide thickness, halo dose and title angle of halo implant are considered for the model development. One parameter variation at a time is considered for developing the model. The model validation is done by performance matching with device simulation results and reported error is less than 10%.© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.

Time-Based All-Digital Technique for Analog Built-in Self-Test

A scheme for built-in self-test of analog signals with minimal area overhead for measuring on-chip voltages in an all-digital manner is presented. The method is well suited for a distributed architecture, where the routing of analog signals over long paths is minimized. A clock is routed serially to the sampling heads placed at the nodes of analog test voltages. This sampling head present at each test node, which consists of a pair of delay cells and a pair of flip-flops, locally converts the test voltage to a skew between a pair of subsampled signals, thus giving rise to as many subsampled signal pairs as the number of nodes. To measure a certain analog voltage, the corresponding subsampled signal pair is fed to a delay measurement unit to measure the skew between this pair. The concept is validated by designing a test chip in a UMC 130-nm CMOS process. Sub-millivolt accuracy for static signals is demonstrated for a measurement time of a few seconds, and an effective number of bits of 5.29 is demonstrated for low-bandwidth signals in the absence of sample-and-hold circuitry.

Insulin analog preparations and their use in children and adolescents with type 1 diabetes mellitus.

Standard or 'traditional' human insulin preparations such as regular soluble insulin and neutral protamine Hagedorn (NPH) insulin have shortcomings in terms of their pharmacokinetic and pharmacodynamic properties that limit their clinical efficacy. Structurally modified insulin molecules or insulin 'analogs' have been developed with the aim of delivering insulin replacement therapy in a more physiological manner. In the last 10 years, five insulin analog preparations have become commercially available for clinical use in patients with type 1 diabetes mellitus: three 'rapid' or fast-acting analogs (insulin lispro, aspart, and glulisine) and two long-acting analogs (insulin glargine and detemir). This review highlights the specific pharmacokinetic properties of these new insulin analog preparations and focuses on their potential clinical advantages and disadvantages when used in children and adolescents with type 1 diabetes mellitus. The fast-acting analogs specifically facilitate more flexible insulin injection timing with regard to meals and activities, whereas the long-acting analogs have a more predictable profile of action and lack a peak effect. To date, clinical trials in children and adolescents have been few in number, but the evidence available from these and from other studies carried out in adults with type 1 diabetes suggest that they offer significant benefits in terms of reduced frequency of nocturnal hypoglycemia, better postprandial blood glucose control, and improved quality of life when compared with traditional insulins. In addition, insulin detemir therapy is unique in that patients may benefit from reduced risk of excessive weight, particularly during adolescence. Evidence for sustained long-term improvements in glycosylated hemoglobin, on the other hand, is modest. Furthermore, alterations to insulin/insulin-like growth factor I receptor binding characteristics have also raised theoretical concerns that insulin analogs may have an increased mitogenic potential and risk of tumor development, although evidence from both in vitro and in vivo animal studies do not support this assertion. Long-term surveillance has been recommended and further carefully designed prospective studies are needed to evaluate the overall benefits and clinical efficacy of insulin analog therapy in children and adolescents with type 1 diabetes.

Analog VLSI-based, neuromorphic sensorimotor systems: modeling the primate oculomotor system

Using neuromorphic analog VLSI techniques for modeling large neural systems has several advantages over software techniques. By designing massively-parallel analog circuit arrays which are ubiquitous in neural systems, analog VLSI models are extremely fast, particularly when local interactions are important in the computation. While analog VLSI circuits are not as flexible as software methods, the constraints posed by this approach are often very similar to the constraints faced by biological systems. As a result, these constraints can offer many insights into the solutions found by evolution. This dissertation describes a hardware modeling effort to mimic the primate oculomotor system which requires both fast sensory processing and fast motor control. A one-dimensional hardware model of the primate eye has been built which simulates the physical dynamics of the biological system. It is driven by analog VLSI circuits mimicking brainstem and cortical circuits that control eye movements. In this framework, a visually-triggered saccadic system is demonstrated which generates averaging saccades. In addition, an auditory localization system, based on the neural circuits of the barn owl, is used to trigger saccades to acoustic targets in parallel with visual targets. Two different types of learning are also demonstrated on the saccadic system using floating-gate technology allowing the non-volatile storage of analog parameters directly on the chip. Finally, a model of visual attention is used to select and track moving targets against textured backgrounds, driving both saccadic and smooth pursuit eye movements to maintain the image of the target in the center of the field of view. This system represents one of the few efforts in this field to integrate both neuromorphic sensory processing and motor control in a closed-loop fashion.

Progress towards the total synthesis of a spermine-conjugated dynemicin analog

Progress towards the synthesis of the spermine-conjugated Dynemicin analog 4 is described. The synthetic route starts with the Michael addition of menthyl acetoacetate to trans-ethyl crotonate followed by a Dieckman condensation to form the cyclohexanedione 14 which, through a series of chemical reactions, is transformed into the quinone imine 6. Key features in the route include the Suzuki coupling reaction of the aryl boronic acid 11 and the enol triflate 12, thermal deprotection/internal amidation of the biaryl 19, cis addition of the (Z)-enediyne 33 to the quinoline 25, intramolecular acetylide addition to a carbonyl within the ketone 29, and an addition/elimination of the cyanophthalide to the quinone imine 6 to form the anthraquinone 36 utilizing the Kraus and Sugimoto methodology.

Analog methods of nonlinear vibration analysis

This thesis presents methods by which electrical analogies can be obtained for nonlinear systems. The accuracy of these methods is investigated and several specific types of nonlinear equations are studied in detail.

In Part I a general method is given for obtaining electrical analogs of nonlinear systems with one degree of freedom. Loop and node methods are compared and the stability of the loop analogy is briefly considered.

Parts II and III give a description of the equipment and a discussion of its accuracy. Comparisons are made between experimental and analytic solutions of linear systems.

Part IV is concerned with systems having a nonlinear restoring force. In particular, solutions of Duffing's equation are obtained, both by using the electrical analogy and also by approximate analytical methods.

Systems with nonlinear damping are considered in Part V. Two specific examples are chosen: (1) forced oscillations and (2) self-excited oscillations (van der Pol’s equation). Comparisons are made with approximate analytic solutions.

Part VI gives experimental data for a system obeying Mathieu's equation. Regions of stability are obtained. Examples of subharmonic, ultraharmonic, and ultrasubharmonic oscillat1ons are shown.

Digital-Analog Quantum Simulation of Spin Systems in Trapped Ions

65 p.

A novel scalable photonic analog switch architecture based on semiconductor optical amplifiers

We propose a novel semiconductor optical amplifier (SOA) based switch architecture for analog applications. Proof-of-principle experiments show that the system is very linear with an SFDR of approximately 100dB·Hz 2/3 for a switching time of 50μs. The port number of this switch is scalable and can be expanded to 80 × 80.

Identification and molecular cloning of a novel neuromedin U analog from the skin secretions of toad Bombina maxima

Amphibian skin contains rich neuropeptides. In the present study, a novel neuromedin U (NmU) analog was isolated from skin secretions of Chinese red belly Load Bombina maxima. Being 17-amino acids long, its primary structure was established as DSSGIVGRPFFLFRPRN-NH2, in which the C-terminal 8-residue segment (FFLFRPRN) is the same as that of rat NmU, while the N-terminal part DSSGIVGRP shows a great sequence variation compared with those of NmU peptides from different resources. The peptide, named Bm-NmU-17, was found to elicit concentration-dependent contractile effects on smooth muscle of rat uterus horns. The cDNA Structure of the peptide, as obtained by a 3'-RACE strategy and subsequently cloning from a skin cDNA library, was found to contain a coding region of 438 nucleotides. The encoded precursor is composed of 145 amino acids with a single copy of Bm-NmU-17 located towards the C-terminus. The sequence of the peptide is preceded by a dibasic site (Lys-Arg) and followed by the sequence of Gly-Arg-Lys, providing the sites of cleavage and releasing of the mature peptide. (c) 2005 Elsevier B.V. All rights reserved.