Dave Landoll, solutions architect at OneSpin Solutions, talks with Semiconductor Engineering about verification in safety-critical designs, why it’s more of a challenge in automotive than in avionics, and why verification of these systems includes what the system should not be doing as well as what it should be doing.
