8/26/2004 - 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 VerificationTM 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 VerificationTM system to prove the correctness of assertions generated by FishTail's FocusTM 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 VerificationTM 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 http://www.fishtail-da.com/.
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 http://www.0-in.com.
0-In® and CheckerWare® and Archer VerificationTM are trademarks or registered trademarks of 0-In Design Automation, Inc.
Previous Page | News by Category | News Search
If you found this page useful, bookmark and share it on: