Zocalo Tech Ships First EDA Software Dedicated to Assertion-Library Productivity

AUSTIN, TX -- (MARKET WIRE) -- Jun 24, 2009 -- Zocalo Tech, Inc., an Electronic Design Automation (EDA) company focusing on Assertion Based Verification (ABV) productivity software, is shipping Zazz™. Zazz, first introduced at DVCon in February 2009, is the first EDA software product to make using assertion libraries quick, easy and accurate by automating tedious error prone tasks with its easy to use intuitive Graphical User Interface (GUI). With Zazz, the checkers from the most widely used assertion libraries can be attached to a design and documented in minutes.

Most experts agree that assertion checkers added by designers have significant impact on detecting problems early in the functional verification process. The designer is the most familiar with the intent and limitations of the design and is in the best position to define where they are needed during simulation. Additionally, with checkers in place, formal verification can begin at the earliest stage and at the "sweet spot" for formal verification. Designer-provided assertion checkers result in increased communication between the designers and verification engineers. For example, when a designer-provided checker fails, both the designer and the verification engineer have a common point of reference.

"Nearly all designers can add assertion checkers manually. This rarely happens because the time required for creating, debugging, attaching and documenting them is difficult to justify when considering the typical chip design schedule. The availability of assertion libraries reduces that time, but not nearly enough for wide scale use by designers. With Zazz, attaching and documenting the library checkers that cover most of the designer's requirements, takes less than a minute each. This level of productivity and the low cost of Zazz make designer provided assertions highly effective," remarked Howard Martin, Zocalo President.

About Zazz

Zazz is Linux-based and supports any mix of Verilog 1995, Verilog 2001 and SystemVerilog design files. The Zazz Front End includes an advanced incremental parser, elaborator and design viewer. An existing design or new design can be read into Zazz where it is parsed, elaborated and graphically displayed. The design may then be modified with the editor of choice without leaving Zazz. The design viewer provides superior design presentation and navigation. When a design is modified and saved, it is incrementally parsed and elaborated. The incremental feature, along with the built-in modification monitoring quickly updates the graphical display and gives immediate feedback about errors. The Zazz Front End provides designer productivity advantages even when assertion libraries are not being added or used.

Integrated with the Zazz Front End, Assertion Library Support software provides:


--  Ease of selecting checkers from assertion libraries.
--  Ease of binding the checkers to the design file.
--  Ease of configuring the checkers.
--  Ease of exportation and management of bind files.
--  Automatic creation of verification plan documentation.

Support is provided for Accellera's Open Verification Library (OVL), Cadence's Incisive Assertion Library (IAL), Mentor's Questa Verification Library (QVL) and Synopsys' SystemVerilog Assertions Checker Library with Coverage Level Reporting.

Availability and Pricing

Zazz is available now. The list price is $4,950 for a one-year subscription. Through September 30, 2009, single copies are available at a volume purchase price of $2,950. Visit www.zocalo-tech.com to see a demo and download a free 14-day trial. If the project is not ready to move forward with the full Zazz capability, the Assertion Library Support is automatically disabled and the Front End capabilities of Zazz remain for continued use at no cost.

About Zocalo Tech

Zocalo Tech, Inc., incorporated in 2006, is focused on productivity software for quick and easy creation, use and reuse of assertion checkers working seamlessly with any popular functional verification flow. 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

Notes to editors:

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



Press Contact:
Georgia Marszalek
+1 650 345 7477

Email Contact

Review Article Be the first to review this article
CST: Webinar November 9, 2017


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
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
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

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