The power converter is one of the essential elements for effective use of renewable power sources. This paper focuses on the development of a circuit simulation model for maximum power point tracking (MPPT) evaluation of solar power that involves using different buck-boost power converter topologies; including SEPIC, Zeta, and four-switch type buck-boost DC/DC converters. The circuit simulation...

A mathematical model based on d-q axis theory and dynamic performance characteristic of brushless resolvers is discussed in this paper. The impact of rotor eccentricity on the accuracy of position in precise applications is investigated. In particular, the model takes the stator currents of brushless resolver into account. The proposed model is used to compute the dynamic and steady state e...

SOI technology for state of the art CMOS technology is rapidly approaching maturity. PD-SOI device design has the advantage of easier manufacturing but requires more sophisticated device and circuit design to reduce the effects of the floating-body. FD-SOI device design potentially has the advantage of no floating-body effects but requires very thin silicon films making manufacturing more chall...

Analysis, Testing and validation of electronic circuit is very crucial in industries of electronics and embedded systems. Instead of actual hardware testing, simulation software is used for this purpose. Very large circuit design like VLSI testing, affects speed and accuracy of such software tools. So there is the need to increase speed of simulation software without compromising quality. GPUs(...

1991 Abstract A logic simulator can prove the correctness of a digital circuit if it can be shown that only circuits fulllling the system speciication will produce a particular response to a sequence of simulation commands. This style of veriication has advantages over other proof methods in being readily automated and requiring less attention on the part of the user to the low-level details of...