TechOnLine.com - Feature Articles

A Formal Methods-based verification approach to medical device software analysis

How to use formal methods"based abstract interpretation techniques to mathematically prove the absence of a defined set of run-time errors and a comparison with techniques as code review, static analysis, and dynamic testing.

Reducing Costs, Risks, Time to Market with Virtualized Systems Development

To achieve developer efficiency and software quality with virtual system development tools, it is necessary to use a fully-featured simulation infrastructure with the ability to create custom models.

Reducing Costs, Risks, Time to Market with Virtualized Systems Development

To achieve developer efficiency and software quality with virtual system development tools, it is necessary to use a fully-featured simulation infrastructure with the ability to create custom models.

Hardware Testing

Board testing is harder than you think, but there are solutions

Motor control in air conditioners with dual sensor less FOC and active PFC

Improved energy efficiency and reduced system costs are the driving factors in modern motor control designs. Sophisticated motor control concepts with sensor less Field Oriented Control (FOC) and Power Factor Correction (PFC) help to fulfill these demands. The article shows how these concepts can be used in an air conditioner design for vehicles.

Motor control in air conditioners with dual sensor less FOC and active PFC

Time domain modeling and simulation of Intel QuickPath interconnect circuits (Part 1 of 3)

This article explores and explains key issues related to modeling and simulation in this interconnect scheme, but its lessons apply to other designs as well

Presented By:

ZigBee RF4CE coexistence with common 2.4-GHz ISM-band consumer electronics

Understand the challenges and tradeoffs when using this slice of spectrum, crowded with devices supporting different standards

Presented By:

Power Tip 20: Watch Those Unintended Resonant Responses

Understand how filter ringing can lead to power-supply failures

Watch Those Unintended Resonant Responses

Understand how filter ringing can lead to power-supply failures

Looking ahead: Data converter trends for 2010

Converters are key to mixed-signal products; here's a perspective on where they are headed in terms of performance, power, and functionality. . . .

"Also of Interest" and "Elementals" for February 8, 2010; plus recent "Planet Analog" Newsletters

Check out these interesting and tutorial items from other engineering and design publications, courtesy of Planet Analog, as well as an archive of the Planet Analog Newsletter

Making packet processing more efficient with network-optimized multicore designs: Part 2

In terms of both power consumption, it is now feasible to build complete network packet processing designs using general purpose architecture processors, rather than dedicated ASIC and ASSP SoCs optimized for the application. Part 2: Minimizing/hiding latency.

Making packet processing more efficient with network-optimized multicore designs: Part 2

Managing Complex SoC verification using plan based verification techniques

Meeting the quality requirements of a complex SoC requires managing large verification projects. In this article, Freescale and STMicroelectronics recount a recent experience with a verification management solution (Incisive Enterprise Manager) from Cadence, for the verification of a 32-bit microcontroller project for the automotive industry.