Jasper Design Automation's JasperGold Selected as Finalist in First Annual DesignVision Awards.MOUNTAIN VIEW, Calif. -- Breakthrough Formal Verification
In the context of hardware and software systems, formal verification Solution Honored For Innovation In Design Verification Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that its flagship product A primary product of a company, which is typically why the company was founded and/or what made it well known. For example, MS-DOS, Windows and the Microsoft Office suite have been flagship products of Microsoft. CorelDRAW is a flagship product of Corel Corporation. , JasperGold(TM), has been named a finalist in the International Engineering Consortium's First Annual DesignVision Awards. The IEC (International Electrotechnical Commission, Geneva, Switzerland, www.iec.ch) An organization that sets international electrical and electronics standards founded in 1906. It is made up of national committees from over 60 countries. IEC - International Electrotechnical Commission presents the DesignVision Awards to recognize leading-edge products and services in the electronic design and semiconductor industries. JasperGold, a block-level verification solution that employs state-of-the-art formal verification technology to exhaustively verify 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; blocks without simulation or test vectors, was nominated in the Design Verification Tools category and chosen as a finalist from among several dozen candidates. Like previous IEC honors, the DesignVision Awards recognize companies for recent products and services that have added a new dimension not only to the electronic design industry, but to society as a whole. The entries were judged according to according to prep. 1. As stated or indicated by; on the authority of: according to historians. 2. In keeping with: according to instructions. 3. the criteria of innovation, uniqueness, market impact, customer benefits and value to society. "JasperGold was named as a finalist in the Design Verification Tools category for being the first product to predictably deliver 100% actual coverage of block level design requirements within tight schedule constraints," said Craig Cochran, vice president of Marketing at Jasper. "Combined with the high satisfaction level and renewal rate within our growing customer base, our selection as a DesignVision finalist underscores that JasperGold is providing high value and breaking new ground in verification completeness, productivity and predictability." JasperGold is one of 8 finalists within the Design Verification Tools category. One award will be given for the winning product in each of seven different categories on February 1st during a morning awards ceremony at DesignCon 2005 which will be held from January 31st to February 3rd at the Santa Clara Santa Clara, city, Cuba Santa Clara (sän`tä klä`rä), city (1994 est. pop. 217,000), capital of Villa Clara prov., central Cuba. Convention Center in Santa Clara, California Santa Clara, California (IPA: /ˌsæntəˈklærə/) , founded in 1777 and incorporated in 1852, is a city in Santa Clara County, in the U.S. state of California. . "The DesignCon team is delighted by the nomination response to the first DesignVision Awards -- we received dozens of nominations in every category. The products selected as finalists in the Design Verification Tools category represent industry leaders in design verification," IEC Senior Director John Janowiak said. "We are glad the DesignVision Awards are able to recognize these finalists for their contributions to the industry and for the benefits to society their ingenious products have produced." For details on how to improve design quality, verification productivity, predictability and verification reuse, please visit: http://www.jasper-da.com. About Jasper Design Automation Founded in 1999, Jasper Design Automation is a privately-held Electronic Design Automation (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. ) company headquartered in Mountain View, California For the census-designated place, see Mountain View, Contra Costa County, California. For other places called "Mountain View", see . Mountain View is a city in Santa Clara County, in the U.S. state of California. The city gets its name from the views of the Santa Cruz Mountains. . The first verification product to deliver 100% actual coverage within predictable, finite schedule constraints, the JasperGold(TM) solution formally verifies that complex design blocks meet their high level requirements, as defined by their specifications, without any testbench development. JasperGold automatically isolates bugs with a fast, unique debugging capability, trimming crucial months off the verification schedule. For further details on how to improve design quality, verification productivity, predictability and verification reuse, visit http://www.jasper-da.com. Jasper Design Automation, the Jasper Design Automation logo, JasperGold, PreCognitive pre·cog·ni·tion n. Knowledge of something in advance of its occurrence, especially by extrasensory perception; clairvoyance. pre·cog Engine, Design Tunneling and Jasper Formal Testplanner are trademarks of Jasper Design Automation, Inc. All other names mentioned are trademarks, registered trademarks, or service marks of their respective companies. |
|
||||||||||||
Printer friendly
Cite/link
Email
Feedback
Reader Opinion