Verification

The process of checking that a chip design behaves correctly according to specifications. This includes functional verification (using simulation, formal methods, or hardware emulation to catch logical bugs) as well as equivalence checking (ensuring synthesis didn't alter functionality). Verification often consumes the majority of project effort in large chip designs.

23 articles

IEEE Spectrum Semiconductors

Scenario Modeling and Array Design for Non-Terrestrial Networks (NTNs)

Mar 06, 2026

Non-terrestrial networks (NTNs) using low earth orbit (LEO) satellites present unique technical challenges, from managing large satellite constellations to ensuring reliable communication links. In this webinar, we’ll explore how to address these complexities using comprehensive modeling and simulation techniques. Discover how to model and analyze satellite orbits, onboard antennas and...

IEEE Spectrum Semiconductors

Finite-Element Approaches to Transformer Harmonic and Transient Analysis

Mar 10, 2026

Explore structured finite-element methodologies for analyzing transformer behavior under harmonic and transient conditions — covering modelling, solver configuration, and result validation techniques.What Attendees will LearnHow FEM enables pre-fabrication performance evaluation — Assess magnetic field distribution, current behavior, and turns-ratio accuracy through simulation rather than physical testing.How harmonic analysis uncovers saturation...

EE Journal

Qnity Collaborates with NVIDIA to Accelerate Innovation for Semiconductor and Advanced Electronics Materials

Mar 20, 2026

WILMINGTON, Del.–(BUSINESS WIRE)–Qnity Electronics, Inc. (“Qnity”) (NYSE: Q), a premier technology solutions leader across the semiconductor value chain, today announced a collaboration with NVIDIA to accelerate AI-driven innovation using open NVIDIA Nemotron 3 Nano, ALCHEMI BMD NIM, LAMMPS Kokkos, and CUDA-X accelerated Abaqus for modeling and simulation technologies. The collaboration...

IEEE Spectrum Semiconductors

ENIAC, the First General-Purpose Digital Computer, Turns 80

Mar 19, 2026

Happy 80th anniversary, ENIAC! The Electronic Numerical Integrator and Computer, the first large-scale, general-purpose, programmable electronic digital computer, helped shape our world.On 15 February 1946, ENIAC—developed in the Moore School of Electrical Engineering at the University of Pennsylvania, in Philadelphia—was publicly demonstrated for the first time. Although primitive by today’s...