We deal with the problem of designing suitable languages for the modeling and the automatic verification of properties over analog circuits. To this purpose, we suitably enrich classical temporal logics with basic formulæ allowing to model arbitrary functions relating analog variables. We show how to accomplish the task of automatically check the resulting CTLf formulæ on analog circuits. To th...

This correspondence points out that an algorithm proposed as a new digitizing method is, in fact, an extension of the linear interpolation design. Unlike previously published extensions, which incorporate the interpolation step into the to -domain mapping step, this algorithm cascades the interpolator and the analog filter. Original design formulas derived for a rigorous comparison support the ...

Reuse will become increasingly important as larger digital and analog circuits are created by the techniques of the field of evolvable hardware. This paper discusses the ways by which genetic programming can facilitate reuse and the associated advantages of using a developmental process.

The recent past has seen a proliferation in the amount of digital video content being created and consumed. This is perhaps being driven by the increase in audiovisual quality, as well as the ease with which production, reproduction and consumption is now possible. The widespread use of digital video, as opposed its analogue counterpart, has opened up a plethora of previously impossible applica...

objectives to develop a guide to estimate blood absorbed by surgical gauze. materials and methods a clinical experiment was conducted using aspirated blood and common surgical gauze to create a realistic amount of absorbed blood in the gauze. different percentages of staining were photographed to create an analogue for the amount of blood absorbed by the gauze. results a visual analogue scale w...

Digital circuit design is extensively assisted bymodern automation tool unlike analog design which is still a manual task because of the complexity of the interactions between devices. This paper presents a semi-automated analog placement based on margin tolerances controlled by the designer by creating analog circuits organized in row similar to digital circuits structure. The results show the...

An area efficient technique for tuning floatinggate circuits is described. The effective threshold voltage seen from a control gate can be programmed to virtually any value. The floating-gate transistor (FGMOS) may be used to implement low-power/low-voltage digital -and/or analog circuits.

The perception of many electronics design engineers is that t h q are able to apply few of the formal analysis methods they have been taught, and are largely unprepared for the realization that Design is the Reverse of Analysis. Suggested here is a different perspective for teaching, based on the premise that only analysis that is design-oriented is worth doing, and that results should be prese...

The idea is using advanced analog design methodology for LVLP to push the basic analog circuit design toward LVLP applications. It is necessary to point out that this report is just an outline of what the final project will accomplish. Those parameters mentioned above are subjected to be changed during the design process to achieve higher performance or more realistic. Parameter Name Value Para...