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

Flash Memory Takes Over

What is a Field Effect Transistor (FET)?

Ever wonder what a Field Effect Transistor (FET) is? Give this article a read for everything you need to know about the device.

Next Generation RADAR

Aerospace and Defense applications conform to the tightest standards. ADI provides you with the confidence and support to ensure your design is a success.

Everything You Need to Know About Capacitors

Learn everything you need to know about capacitors, including capacitance, measuring electrical charge, and the different types of caps.

5G|6G Device Characterization Made Easy

Characterizing high-frequency active or passive devices is extremely challenging especially now that more devices are in the D-band and above which are paving the path for future...