Electronicdesign 14171 Softwarepromo 0 608985a12d32d

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

Wearable Skin Patches: The “Hot” Medical Research Field

Integrated Power Supply Buck Converters

Integrated power supply ICs to implement compact and efficient buck converters for factory automation, 5G and IoT.

Compact buzzers, speakers, and microphones provide options for maximum flexibility

Same Sky Devices' diverse range of buzzers, speakers, and microphones are designed to minimize footprints and maximize reliability to address the trend of miniaturization. All...

Intelligent Buildings

“Intelligent Buildings" are networks (wired and wireless) connecting building services to enable systems that can monitor, analyze, and control building resources automatically...

MEMS Microphone Interfaces: Analog vs. Digital Outputs

The utilization of MEMS microphones presents an opportunity to incorporate sophisticated communication and monitoring capabilities into a wide range of devices.