Today, the verification task relies on both dynamic execution and formal methods, but those technologies have few connection points. That may be changing with portable stimulus. This article from Semiconductor Engineering describes the conversation of industry luminaries about the role that formal technologies will play with portable stimulus and how it may help to bring the two execution technologies closer together.

Read More

Find out how T&VS Verification services help to meet the challenging requirements with respect to performance, flexibility and verify the today’s complex designs effectively.