Zocalo Tech, Inc. is a privately funded Austin, Texas EDA company, incorporated in 2006. Zocalo is the Spanish word referring to the town center. Zocalo Tech’s goal is to be the center for expanding the use of Assertion Based Verification (ABV). The focus is software for quick and easy creation, debug, use and reuse of assertions that work with popular functional verification flows.
The Zocalo 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 ABV.
There are no discussions here currently, but as they appear they might have answers you need.