CIMdata PLM Industry Summary Online Archive
24 August 2004
Product News
0-In Welcomes FishTail Design Automation to its Check-In Partner Program
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 VerificationT 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 VerificationT system to prove the correctness of assertions generated by FishTail's FocusT 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 provide 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."
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 VerificationT 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.
Founded in 2002, FishTail Design Automation is tackling the difficult problem of precise constraints on chip timing. The company's patent-pending technology improves chip implementation by automatically identifying exceptions to single-cycle clocking from RTL descriptions. FishTail is privately funded.
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.
Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.
Tell us what you think of the CIMdata Newsletter. Send your feedback.
CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.