Carbon Design Systems Joins 0-In's Check-In Partner Program.SAN JOSE San Jose, city, United States San Jose (sănəzā`, săn hōzā`), city (1990 pop. 782,248), seat of Santa Clara co., W central Calif.; founded 1777, inc. 1850. , Calif. -- Partners Will Integrate Easy-to-Use Assertion Automation with High-Performance Pre-Silicon and System Validation Engine Today, 0-In Design Automation, the Assertion-Based Verification Company, announced the addition of Carbon Design Systems to the 0-In Check-In Partner Program. The 0-In Check-In Partner Program provides EDA (1) (Electronic Design Automation) Using the computer to design, lay out, verify and simulate the performance of electronic circuits on a chip or printed circuit board. partners access to the industry-leading Archer Verification(TM) system for assertion-based verification (ABV ABV Above ABV Alcohol By Volume ABV Abuja, Nigeria (airport code) ABV Assault Breacher Vehicle ABV Accredited Business Valuation specialist ABV Auxiliary Building Ventilation ABV Annual Buy Value ABV Air Bleed Valve ) and formal verification
In the context of hardware and software systems, formal verification (FV) to develop solutions that deliver enhanced verification capabilities to joint customers. The Archer Verification system's unique assertion synthesis technology provides the flexibility to choose assertion language, verification IP, and verification engine that best suit any verification challenge. This freedom to select best in class methodologies and tools ensures that customers realize the best possible return on their investment. As a result of joining the Check-In Partner Program, Carbon will be able to integrate the assertions generated by the Archer Verification system with their DesignPlayer(TM) engine. The collaboration will enable joint customers to increase productivity by delivering RTL (Register Transfer Level) A high-level hardware description language (HDL) for defining digital circuits. The circuits are described as a collection of registers, Boolean equations, control logic such as "if-then-else" statements as well as complex event sequences; pre-silicon validation with full observability and the error detection features of CheckerWare(R), OVL OVL Oval (street type) OVL Open Verification Library OVL Program Overlay (File Name Extension) OVL Oxford Vehicle Leasing (UK) OVL Officier Vlieger and PSL 1. PSL - Portable Standard Lisp. 2. PSL - Problem Statement Language. See PSL/PSA. assertions. "Today's complex designs require a fast assertion-based verification environment," said Steve Butler Steve Butler (born September 26, 1956 in Amarillo, Texas) was an open-wheel racer who was successful in USAC Sprint Car and Silver Crown racing. Steve currently resides in Kokomo, IN. , President and CEO (1) (Chief Executive Officer) The highest individual in command of an organization. Typically the president of the company, the CEO reports to the Chairman of the Board. of Carbon. "Joining 0-In's Check-In program enables us to deliver the industry's highest-performance RTL engine coupled to 0-In's premier verification system." "This partnership allows joint customers to tackle the toughest verification challenges and find more bugs faster," said Steve White, president and CEO of 0-In. "Combining the improved observability and controllability of assertions and FV from 0-In with Carbon's single engine for hardware, software, and customer design validation will deliver fast, high-quality verification to joint customers." About the Check-In Partner Program Through the Check-In Partner Program, 0-In and its EDA partners create joint solutions to increase customer productivity. Check-In Partners receive software, licenses, and support for developing interoperable assertion solutions with the 0-In Archer Verification(TM) 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 Carbon Design Systems Carbon is delivering software products that enable high-performance pre-silicon chip and system validation. Carbon's single engine solution -- DesignPlayer -- can be used for hardware, software, and customer design validation. The DesignPlayer engine boosts hardware regression performance and validates drivers, diagnostics, & firmware up to 50X faster with cycle and register accuracy. A low-cost executable or linkable model can be deployed across the enterprise and to customers without the encumbrances of a slow simulator. For more information, see http://www.carbondesignsystems.com/. 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 (hardware) Application-Specific Integrated Circuit - (ASIC) An integrated circuit designed to perform a particular function by defining the interconnection of a set of basic circuit building blocks drawn from a library provided by the circuit manufacturer. (ASIC (Application Specific Integrated Circuit) Pronounced "a-sick." A chip that is custom designed for a specific application rather than a general-purpose chip such as a microprocessor. ) 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(R) and CheckerWare(R) and Archer Verification(TM) are registered trademarks of 0-In Design Automation, Inc. All other trademarks are the property of their respective holders. |
|
||||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion