PRODUCTS
The Zocalo Tech product set, branded 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.
- Zazz Bird Dog addresses the issues of indentifying assertion candidates and providing metrics meaningful to the project.
- Zazz OVL makes using assertion libraries easy including the automatic creation of bind files and documentation.
- Zazz Visual SVA addresses the issues of coding and debugging complex SVAs, controlling the use of assertions from the testbench environment and automatic creation of bind files and documentation.
All three products are available standalone or combined. The design database support and design viewer are common to all Zazz products.
Design Database Support
Zazz is Linux-based and supports any mix of Verilog 1995, Verilog 2001 and SystemVerilog design files. Zazz is built on an advanced incremental parser/elaborator and design viewer. An existing design or new design can be read into Zazz and parsed, elaborated, and graphically displayed and modified with the user's editor of choice without leaving Zazz. When a design is modified and saved, it is incrementally parsed and elaborated. The incremental feature, along with the built in modification monitoring provides fast update to the graphical display along with feedback on any errors.
Design Viewer
Zazz’s Design Viewer is not the typical design browser. It is an advanced design viewing, navigation, and modification monitoring application. When a design element is selected in the Design View, the Source panel displays the associated source code. This feature gives the user direct access to the RTL regardless of its location in the file system. Direct access can be a major time saver, especially for users not intimately familiar with the entire design file structure.
In addition to the standard design hierarchy browsing, Zazz provides a powerful regular expression (regex) search of various name spaces: Module, Instance, Binding, Interface, Task, and Function. For example, when the Module name space is selected with no regex expression, Zazz displays how many modules exist in the design and allows the user to step thru them. With the Module name space selected and a search expression of “ram$” is entered, Zazz displays how many module names end in “ram”. The user may step thru the list, selecting each one in turn, with the Source panel displaying the RTL code.
The ability to find syntax or elaboration errors in real time plus the navigation features of searching the design file structure to locate the files of interest to view and/or modify can save untold hours over the life of the project. The Log panel contains links to the errors and warnings encountered. Clicking on a link changes the Log panel to a view of the source file with the error highlighted. If the Edit File icon is clicked then an Editor panel is opened with the cursor close to where the error/warning occurred. Icons in the source view in the Log panel allow the user to step to the next or previous error/warning. The Zazz Design Viewer represents a major productivity advantage for the user even when assertions are not being used.