SOURCE: Zocalo Tech

Zocalo Tech

June 10, 2010 18:24 ET

REMINDER: Visit Zocalo Tech at DAC, If Assertion-Based Verification Is on Your Radar Screen

Zazz Simplifies and Eases Adoption of an ABV Methodology

ANAHEIM, CA--(Marketwire - June 10, 2010) -


Who/What:
Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focused on Assertion-Based Verification (ABV) productivity software, will be at the Design Automation Conference (DAC) for the first time this year showcasing the capabilities of its Zazz™ product family.

Zocalo's viewpoint and products will also be covered in two presentations: a User Track Poster Session, "Using SystemVerilog Assertions and Zocalo Zazz to Improve IP Quality," and an IC Design Central presentation, "Making Life Easier for IP providers and Users."

When/Where
Presentations
IC Design Central: "Making Life Easier for IP Providers and Users"
1:00pm-1:30pm, Wednesday, June 16, 2010, Exhibit Hall B, Booth #1710

User Track Poster Session: "Using SystemVerilog Assertions and Zazz to Improve IP Quality"
Speaker: Eric Deal, Cyclic Design
1:30pm-3:30pm, Tuesday, June 15, 2010, 2nd Floor Foyer adjacent to 208AB

Exhibit
9:00am-6:00pm, Monday, June 14 - Wednesday, June 16, 2010
IC Design Central, Booth #1509

Anaheim Convention Center, Anaheim, California

Information and Registration
To arrange demo, please contact, hmartin@zocalo-tech.com.
For more information about Zocalo Tech and its verification product families, please visit http://www.zocalo-tech.com/.
To download a free ABV White Paper (no registration required), please visit
http://www.zocalo-tech.com/files/assertionverification_whitepaper.pdf.
For more information about DAC, please visit www.dac.com.

About the Zazz Product Family

  • Zazz Bird Dog analyzes the design and rank orders the most important candidate signals for assertions.
  • Zazz Visual SVA enables easy creation and debug of assertions at any level of complexity without having to learn the SVA language.
  • Zazz Metrics provides progress reports about the quantity and quality of assertions.
  • Zazz supports OVL libraries, libraries from the major EDA vendors, and user-defined libraries.

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.

Acronyms                                
--------                                
ABV       Assertion-Based Verification  
EDA       Electronic Design Automation  
IP        Intellectual Property         
OVL       Open Verification Library     
SVA       SystemVerilog Assertion       

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

Contact Information