Jasper Design Automation's JasperGold Is a Finalist in EDN's 19th Annual Innovations Award Competition.Formal Technology Advances in JasperGold Deliver Design Confidence
MOUNTAIN VIEW, Calif. -- Jasper Design Automation, provider of advanced formal technology 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[R] Verification System, has been selected from among hundreds of nominations as a finalist for this year's EDN Innovation Awards under the category of 'EDA: Design Analysis.' A breakthrough in formal verification
In the context of hardware and software systems, formal verification technology, JasperGold delivers exhaustive confidence across designer-level blocks, addressing the need for high 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; reliability. Unlike formal tools focused on implementation-level assertion-based verification, JasperGold raises the level of formal verification to end-to-end specification-level properties, delivering the highest design confidence possible today. The benefits of this production-proven formal technology solution span the complete SoC design cycle. System architects, logic designers, verification engineers and silicon bring-up teams can design, explore and debug To correct a problem in hardware or software. Debugging software means locating the errors in the source code (the program logic). Debugging hardware means finding errors in the circuit design (logical circuits) or in the physical interconnections of the circuits. RTL, ensure correctness of block-level functionality, and perform rapid post-silicon validation and debug.
Instituted in 1990, the Innovation Awards honor the people, products, and technologies that have shaped the semiconductor industry over the past year. During the month of February, EDN's worldwide audience of electronic engineers and engineering managers will be invited to vote online to select the ultimate winners from among the finalists. Jasper encourages you to visit: www.EDN.com/innovation19 to place your vote for JasperGold. The winners will be announced at a dinner and awards ceremony on March 30, 2009, in San Jose, California San Jose (IPA: /ˌsænhoʊˈzeɪ/) is the third-largest city in California, and the tenth-largest in the United States. It is the county seat of Santa Clara County. .
"Hundreds of nominations were examined in preparation for EDN's 2008 Innovation Award program," said Rick Nelson, EDN editor-in-chief. "In our February 5th print issue, as well as online at edn.com, we present 94 finalists that are strong candidates across 26 product categories. Jasper's JasperGold Verification System is one of the strong contenders in the 'EDA: Design Analysis' category because it delivers formal verification technology while addressing production issues and the complete SoC design cycle."
JasperGold is unique from other formal verification solutions in that it conquers capacity issues with automatic counter abstraction, Formal Scoreboard[TM], Proof Accelerators[TM], patented Design Tunneling[TM] and interactive proof capabilities. Secondly, it offers design visibility enabled by Jasper's patented visualization technology. Lastly, JasperGold's powerful methodology, along with Jasper's consultative "Targeted ROI (Return On Investment) The monetary benefits derived from having spent money on developing or revising a system. In the IT world, there are more ways to compute ROI than Carter has liver pills (and for those of you who never heard of that expression, it means a lot). " approach, enables customers to conquer their top verification challenges, mitigating project risks while reducing schedules and development costs.
"Jasper is delighted to have JasperGold selected as a finalist from among the submissions of many highly respected design analysis solutions," said Kathryn Kranen, 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 Jasper Design Automation. "Our customers tell us that they are using JasperGold to decrease the design verification burden throughout the chip development flow, and that it is providing them with greater design confidence, improved schedule predictability and greater design quality."
About EDN and EDN.com
EDN serves the vital information needs of design engineers and engineering managers worldwide. EDN.com delivers a three-dimensional view of the electronic industry via news coverage, strategic business information, and in-depth technical content. (www.edn.com). EDN is published by Reed Business Information Reed Business Information is a large business publisher in the United States, United Kingdom, continental Europe, Australia and Asia. It is a division of Reed Elsevier.
In 2005, Reed Business Information started the Quill Awards, a literary award broadcast on NBC. (www.reedbusiness.com/us).
About Jasper Design Automation
Jasper is a privately-held 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. software company leveraging formal technologies to deliver high value solutions for the design and verification of electronic systems and semiconductors. The company delivers products utilizing advanced formal analysis and Behavioral Indexing[TM] technologies to the global electronics market. Jasper is 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. , and has offices and distributors located in North America North America, third largest continent (1990 est. pop. 365,000,000), c.9,400,000 sq mi (24,346,000 sq km), the northern of the two continents of the Western Hemisphere. , South America South America, fourth largest continent (1991 est. pop. 299,150,000), c.6,880,000 sq mi (17,819,000 sq km), the southern of the two continents of the Western Hemisphere. , Europe, and Japan. Visit Jasper online at http://jasper-da.com.
Jasper Design Automation, the Jasper Design Automation logo, ActiveDesign, Behavioral Indexing, Activated Design, and JasperGold are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.