|
|
|
|
 |
Zocalo Tech, Inc. is a privately funded Austin, Texas based software-company, incorporated in 2006, developing productivity tools that can be used directly within the functional verification flows of the major EDA companies.
The Zocalo product set, branded under the name Zazz™, has been architected and developed from the ground up with one goal in mind - to increase productivity for engineers adopting and utilizing Assertion Based Design
The initial release focuses on automating the often tedious and error prone mechanics tasks of utilizing checkers from existing Assertion Libraries (Accellera OVL, Cadence IAL, Mentor QAL and Synopsys SVA_CG). The automation results in the ability to add an assertion to a design in less than a minute, without interrupting the normal design flow.
|
|
|
|
|
| |
|
|
|
|
