In the news

By Sven Beyer, Semiconductor Engineering

The growing role of formal technology at advanced nodes.

By Ann Steffora-Mutschler, Semiconductor Engineering

Programmable logic in automotive applications is essential, given the parade of almost constant updates and shifts in direction, but exactly where the technology will be used has become a moving target.

By Ann Steffora-Mutschler, Semiconductor Engineering

The Next Generation Air Transportation System (NextGen), an FAA-led modernization of America’s air transportation system meant to make flying more efficient, predictable and safer, is currently underway as one of the most ambitious infrastructure projects in U.S. history.

By Tom Anderson, Semicondutor Engineering

Over the last twenty years, formal verification has grown from a niche technology practiced only by specialists to an essential part of mainstream chip development. Along the way, several advances were needed to make wider adoption of formal feasible.

By Ann Steffora-Mutschler, Semiconductor Engineering

The RISC-V instruction set architecture is attracting attention across a wide swath of markets, but making sure devices based on the RISC-V ISA work as expected is proving as hard, if not harder, than other commercially available ISA-based chips.

By Sergio Marchese, Electronic Design

Pre-silicon validation and verification of hardware security requirements are crucial, which pushes the need for more robust, efficient design flows.

By Ed Sperling, Semiconductor Engineering

Raik Brinkmann, president and CEO of OneSpin Solutions, sat down with Semiconductor Engineering to talk about AI changes and challenges, new opportunities for using existing technology to improve AI, and vice versa. What follows are excerpts of that conversation.

By Ann Steffora-Mutschler, Semiconductor Engineering

How to manage massive amounts of data in real time still isn’t clear, but it can’t be done in the cloud.