Zocalo Tech Introduces Assertion-Based Verification Capabilities to Improve IP and Electronic Design Quality

Zazz simplifies and eases adoption of an ABV methodology

Austin, Texas, April 20, 2010-- Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focused on Assertion-Based Verification (ABV) productivity software, today announced that it has added four new capabilities to its Zazz ™ product family: Zazz Bird Dog, Zazz Metrics, Zazz Visual SVA and user-defined assertion library support.

The new options simplify and support the adoption of an ABV methodology to improve electronic design and Intellectual Property (IP) quality and increase verification productivity.


What’s New

  • Zazz Bird Dog analyzes the design and rank orders the most important candidate signals where assertions should be added. For legacy code, performing a manual assessment of assertion requirements for a complex functional block can take days versus minutes with Bird Dog.
  • Zazz Metrics provide the project team with an on-going progress report about the quantity and quality of the assertions added versus the target. Historical reports on completed functional blocks provide a baseline for measuring the value of using assertions to reduce debug time.
  • Zazz Visual SVA provides the ability to create and debug all levels of assertion complexity  without learning the SVA language. Visual SVA completely eliminates the long learning time typically associated with becoming proficient writing properties with the SVA language. Visual SVA also provides dynamic controllability of assertions,  automatic bind file management and documentation.
  • Zazz Assertion Library Support makes using assertion libraries fast and easy while providing automatic bind file management and documentation. In addition to supporting OVL and librarie s from the major EDA vendors, user-defined assertion libraries can now be added to Zazz.

 “Zazz addresses the major issues that have kept ABV from wide scale acceptance: Where do I add assertions? What is the cost for adding assertions? How do I cost effectively move from an ad hoc use of simple assertions to the systematic use of more complex and temporal assertions ?” said Khalil Shalish, CTO of Zocalo Tech. “Bird Dog identifies the most useful  placement of assertions and allows the project to scope the level of work for adequately populating a design with assertions. Visual SVA enables the use of more useful and powerful SVAs at all levels of complexity via an easy to learn intuitive process. Assertion debug is provided on an automated interactive basis.  This frees the user to focus on describing the intent of the design rather than the complexities of the SVA language.” 


Zocalo at DAC

Zocalo will demonstrate Zazz and its new capabilities for the first time at the IC Design Central Partner Pavilion, Booth #1509, at the Design Automation Conference (DAC), June 14-16, 2010 in Anaheim, California. To see a Zazz demonstration, please email Email Contact.



Zazz Bird Dog, Zazz Metrics and Zazz Assertion Library Support are available now. Zazz Visual SVA will be available in October. Contact Zocalo Tech for pricing Email Contact.


About Zocalo Tech, Inc.

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.


Press Contact:

Georgia Marszalek, ValleyPR LLC., +1 650 345 7477, Email Contact



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.

Review Article Be the first to review this article
Downstream : Solutuions for Post processing PCB Designs


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
DVCon Europe 2017: Munich and So much more
More Editorial  
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Upcoming Events
25th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2017) at Yas Viceroy Abu Dhabi Yas Marina Circuit, Yas Island Abu Dhabi United Arab Emirates - Oct 23 - 25, 2017
ARM TechCon 2017 at Santa Clara Convention Center Santa Clara CA - Oct 24 - 26, 2017
MIPI DevCon Bangalore 2017 at The Leela Palace Bengaluru India - Oct 27, 2017
MIPI DevCon Hsinchu City 2017 at Sheraton Hsinchu Hotel Taiwan - Oct 31, 2017
CST: Webinar series
Verific: SystemVerilog & VHDL Parsers
TrueCircuits: IoTPLL

Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise