Functional safety is a major challenge for field programmable gate arrays (FPGAs) and other semiconductor designs. Safety requirements go beyond traditional verification, which focuses on design bugs.

Quantum computers, systems that process information leveraging quantum mechanical effects, could soon outperform classical computers on some complex computational problems. These computers rely on ...