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 ...

Why is it still so hard to ensure good quality sign-off happens without leaving behind bugs in silicon? The answer, according to my colleagues at DVCon, is highly nuanced. The industry has been ...