SOURCE: Zocalo Tech

Zocalo,assertion-based verification,electronic design automation,EDA,ABV,SystemVerilog,SVA, DVCon

February 09, 2011 14:03 ET

Zocalo Tutorial Focuses on Stress-Free Verification With Assertions

DVcon, Thursday, March 3, 2011, Doubletree, Hotel, San Jose

SAN JOSE, CA--(Marketwire - February 9, 2011) -

Who
Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focused on Assertion-Based Verification (ABV) productivity software, will be at the Design Verification Conference (DVcon) and will offer a tutorial on how to add stress-free assertions to electronic designs.

What:
If assertions or ABV is being used at your company or is on your radar, Zocalo's DVcon tutorial will be of interest: http://www.dvcon.org/thurmat.html.
The presenters are:

  • Khalil Shalish, Zocalo Tech's CTO and long-time verification engineer
  • Eric Deal, President of Cyclic Design, an Intellectual Property (IP) and design consulting firm

The tutorial covers:

  • Overview of Assertions/Properties
  • Issues inhibiting wide-spread use of ABV among design and verification engineers
  • A process that empowers designers to more easily adopt assertions
  • The ease of and power gained by expanding assertion use by verification engineers
  •  IP and Assertion use

Zocalo's Zazz™ will be used to demonstrate how automation enables the widespread use of ABV resulting in the full benefits of assertion technology.

When/Where
1:30-5pm, Thursday, March 3, 2011
Doubletree Hotel
San Jose, Calif.

Information
To register, please go to http://www.dvcon.org/reg.html.
For more information about Zocalo Tech and its verification product families, please visit www.zocalo-tech.com.

About Zocalo Tech
Zocalo Tech, Inc., incorporated in 2006, is focused on productivity software for quick and easy creation, use and reuse of assertions that work with popular functional verification flows. Zocalo software, marketed under the name Zazz, has been architected and developed from the ground up with one goal in mind: increased productivity for engineers adopting and utilizing Assertion-Based Verification. For more information, please visit www.zocalo-tech.com.

Zazz is a trademark of Zocalo Tech, Inc. All other tradenames and trademarks are the property of their respective owners.

Contact Information