Electronic Design

Q&A: Formal Methods Push Toward Zero-Defect Software (.PDF Download)

March 9, 2017

This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts

Read this article online

Safety and reliability have moved to the top of the list of critical criteria in software development. There are many ways to achieve improved safety and reliability, and one of the best is to employ formal methods. I talked with AdaCore’s SPARK product manager, Yannick Moy, about how formal verification of software can help lead to the development of zero-defect software...

Continue Reading

Solving the contact resistance challenge for 7nm and beyond CMOS

Six Rules for EEs from Seal Team 6

Power Relays Understanding the Basics

Power relays are specialized to manage high-level current switching, ranging from several amps to substantially higher magnitudes.

Understanding Thermal Challenges in EV Charging Applications

As EVs emerge as the dominant mode of transportation, factors such as battery range and quicker charging rates will play pivotal roles in the global economy.

A Designer's Guide to Lithium (Li-ion) Battery Charging

This designer's guide helps you discover how you can safely and rapidly charge lithium (LI-ion) batteries to 20%-70% capacity in about 20-30 minutes.

Get Started with USB-C Power Delivery

Integrating USB Type-C connectors into designs requires developers pay careful attention to proper connector options and recommended layout guidelines.