In the IoT world, verification tools will be needed to ensure that many devices are correct by construction-and more secure.
This article presents the simulation solutions like Synopsys’ VCS are used to verify billions of gates over millions of clock cycles. Adding verification IP for IoT protocols, the same technology can be used to provide confidence for many critical systems such as automotive, enterprise security and home security.
In fact, it is likely that these technology solutions are constantly running in a household or enterprise, providing us confidence that the system(s) are operating in a safe and efficient manner. Confidence is the new verification.