Some of the biggest news in functional verification at this week's Design Automation Conference (DAC) in New Orleans is the wholesale assimilation of verification “assertions” by Synopsys Inc. and ...

There has been a lot of talk in the industry about the usefulness of assertions as part of a complete verification methodology. But there is something bigger going on here that many vendors are ...