• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. New Interview with Partner Zocalo on Their Assertion Creation…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
DAC
ABV
Zocalo
verification strategy
Verification methodology
Functional Verification
formal
assertions
verification

New Interview with Partner Zocalo on Their Assertion Creation Philosophy and Approach for ABV

9 Dec 2010 • Less than one minute read

Heads-up Team Verify subscribers: on his "Industry Insights" blog Richard Goering just interviewed Zocalo president Howard Martin about assertion-based verification methodology -- including the dangers of an ad-hoc approach to ABV.  To read the interview, click here.

For some additional background on Zocalo, recall this discussion from DAC:


If video fails to open, click here.

Additionally, Zocalo has been noted in a recent DeepChip wire tap:
deepchip.com/items/dac10-01.html

As well as articles in EDA Café:
http://www10.edacafe.com/nbc/articles/view_article.php?section=CorpNews&articleid=764269

And Gabe on EDA:
http://www.gabeoneda.com/openchannel/zocalo-tech-introduces-assertion-based-verification-capabilities

Finally, unlike a lot of small companies that tend to overdo being stealthy and mysterious, Zocalo has a refreshing amount of meaty white papers posted on their website: http://www.zocalo-tech.com/

Happy Verifying!

Joe Hupcey III
for Team Verify

Team Verify On Twitter: @teamverify, http://twitter.com/teamverify

Joe on Twitter: @jhupcey, http://twitter.com/jhupcey

 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information