Checkers increase observability, allowing design teams to find more bugs earlier.
The new patent relates to the generation of checkers. Products are Covered by New Patent White-box tools use information about the internal structure of an RTL design to improve functional verification. Check enhances existing simulations by monitoring for correct behavior of internal design structures using embedded checkers. Search uses semiformal verification technology to amplify simulation tests and explore a wider range of legal design behavior, targeting embedded checkers. Check, 0-In Search, CheckerWare and CheckerWare Monitors are all covered by the new patent.