FishTail and 0-In collaborate to leverage industry’s leading formal verification tools to prove static timing constraints

SAN JOSE, Calif. – August 24, 2004 – Today, 0-In Design Automation, the Assertion-Based Verification Company, and FishTail Design Automation (FishTail) announced the addition of FishTail to the 0-In Check-In Partner Program, which provides EDA partners access to the industry leading Archer Verification™ system for assertion-based verification (ABV) and formal verification (FV).

As a result of this collaboration, FishTail will integrate with the static and dynamic formal verification capabilities of the Archer Verification™ system to prove the correctness of assertions generated by FishTail’s Focus™ product. Focus automatically produces golden timing constraints and assertions from RTL code that specify the Boolean justification for false and multi-cycle paths. The integrated flow from FishTail and 0-In will provides users confidence that their timing constraints are valid.

“0-In is a recognized leader in deployed functional formal verification products,” said Ajay Daga, founder and CEO of FishTail. “Joining the Check-In program will enable us to deliver to our joint customers a higher quality solution that leverages the strength of 0-In’s formal engines.”

“The Archer Verification system is based on providing customers best-in-class tools and engineered methodologies that solve high-effort problems,” said Steve White, president and CEO of 0-In. “Integrating our formal verification capabilities with FishTail provides joint customers a compelling solution for achieving timing closure.”

About the Check-In Partner Program
Through the Check-In program, 0-In and its EDA partners create joint solutions to enhance verification capabilities and increase customer productivity. Check-In Partners receive software, licenses, and support for developing interoperable assertion solutions with the 0-In Archer Verification™ system. 0-In is committed to supporting the full range of verification tools, including compiled simulation, test bench suites, formal verification, simulation acceleration, emulation, and rapid prototyping.

About FishTail Design Automation
Founded in 2002, FishTail Design Automation has set its sights on tackling the difficult problem of precise constraints on chip timing – the area where the success or failure of a design is ultimately determined. The company’s patent-pending technology improves chip implementation by automatically identifying exceptions to single-cycle clocking from RTL descriptions. FishTail is privately funded. For more information about FishTail and Focus, please visit the company’s website at

About 0-In
0-In Design Automation, Inc. (pronounced “zero-in”) develops and supports functional verification products that help verify multi-million gate application-specific integrated circuit (ASIC) and system-on-chip (SoC) designs. The company delivers a comprehensive assertion-based verification (ABV) solution built on industry standards that provides value throughout the design and verification cycle – from the block level to the chip and system levels. Twelve of the 15 largest electronics companies have adopted 0-In tools and methodologies in their integrated circuit (IC) design verification flows. 0-In was founded in 1996 and is based in San Jose, Calif. For more information, see

0-In® and CheckerWare® and Archer Verification™ are registered trademarks of 0-In Design Automation, Inc. All other trademarks are the property of their respective holders.

Editorial Contacts:
0-In Design Automation:
Neil Hand, 408-487-3646,

Cayenne Communication for 0-In Design Automation:
Linda Marchant, 919-683-9545,

HighPointe Communications for FishTail Design Automation:
Barbara Marker, 503-209-2323,