Jasper Design Automation's JasperGold(R) System 4.0 Selected as a Finalist in Second Annual DesignVision Awards.MOUNTAIN VIEW, Calif. -- Advanced Formal Verification
In the context of hardware and software systems, formal verification Solution From Jasper Honored a Second Time for Being Among the Most Unique and Beneficial to the Industry E[acute accent acute accent n. A mark (´) indicating: a. that a vowel is close or tense, as é in French été. b. that a vowel or syllable has a high or rising pitch, as in Chinese or Ancient Greek. c. ]Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that its JasperGold(R) Verification System, release 4.0, has been named a finalist in the International Engineering Consortium's Second Annual DesignVision Awards. The DesignVision Awards program recognizes technologies, applications, products, and services judged to be the most unique and beneficial to 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 The introduction to this article provides insufficient context for those unfamiliar with the subject matter. Please help [ improve the introduction] to meet Wikipedia's layout standards. You can discuss the issue on the talk page. , was nominated in the Design Verification Tools category and selected as one of three finalists from among scores of respected candidates. E[acute accent]"JasperGold Verification System was named for the second time as a finalist in the Design Verification Tools category because of its innovative approach to complete verification," said Craig Cochran, vice president of marketing at Jasper. "JasperGold System 4.0 is the first product to deliver 100% complete verification of block-level design requirements. Our selection as a DesignVision finalist, together with our high level of customer satisfaction, provides strong evidence that JasperGold is breaking new ground in verification completeness and debugging (programming) debugging - The process of attempting to determine the cause of the symptoms of malfunctions in a program or other system. These symptoms may be detected during testing or use by real users. productivity." E[acute accent]One award will be given for the winning product in each of nine different categories. The first public announcement of the winners will take place before the Tuesday Keynote on February 7th at noon in the Theater of 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. E[acute accent]"This is our second year of offering the DesignVision Awards program and we have expanded our categories. The finalists in the Design Verification Tools category represent products within the industry that have provided distinctive advances in design verification," said Dr. Barry Sullivan, DesignCon 2006 Program Director. "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 is pleased to provide this recognition to companies whose products exemplify ex·em·pli·fy tr.v. ex·em·pli·fied, ex·em·pli·fy·ing, ex·em·pli·fies 1. a. To illustrate by example: exemplify an argument. b. our standard of service to the industry." E[acute accent]For details on how to improve design quality, verification productivity, predictability and verification reuse, please visit: http://www.jasper-da.com. E[acute accent]About Jasper Design Automation E[acute accent]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 with a mission of making full formal IC verification a competitive advantage for its customers. The company's 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(R) Verification System, is the first verification product to deliver systematic complete verification, and accomplishes this task within predictable, finite schedule constraints. JasperGold formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold automatically isolates bugs with a fast, unique debugging capability. By isolating bugs earlier than simulation or formal-assisted simulation tools, and then proving the absence of bugs, JasperGold trims crucial months off design schedules. For further details on how to achieve 100% actual coverage, and improve verification productivity, predictability and verification reuse, please visit http://www.jasper-da.com. E[acute accent]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