October 21, 2014 4:47 PM ET

Software

Company Overview of Jasper Design Automation, Inc.

Company Overview

Jasper Design Automation, Inc. provides software solutions for semiconductor design, verification, and intellectual property (IP) reuse in the United States and internationally. The company offers JasperGold formal technology platform that enables to validate complex designs that include packet-based data transportation, FIFOs, memories, caches, and multiple clock domains; JasperGold Apps, which allows multiple applications to operate on the same design simultaneously; and ActiveProp, an assertion-based verification system that generates assertions, constraints, and covers from RTL and simulation information that is used in various assertion-based verification flows. It also provides intelli...

707 California Street

Mountain View, CA 94041

United States

Founded in 1999

Phone:

650-966-0200

Fax:

650-625-9840

Key Executives for Jasper Design Automation, Inc.

Chief Executive Officer
Senior Vice President of Engineering
Chief Architect and Senior Vice President of R&D
Chief Technology Officer
Vice President of Marketing & Business Development
Compensation as of Fiscal Year 2014.

Jasper Design Automation, Inc. Key Developments

Jasper Design Automation Announces Availability of Its New JasperGold(R) Sequential Equivalence Checking App

Jasper Design Automation has announced the availability of its new JasperGold(R) Sequential Equivalence Checking App (SEC App). The new SEC App enables designers to exhaustively verify the sequential functional equivalence of RTL implementations, ensuring that they function identically at sequential design points, -- and 10x faster than competing tools. SOC designers often make changes to RTL that may not be purely functional. Low power optimization, using structures such as clock gating, power gating and power domain partitioning is a common motivation for such changes. Other changes might be motivated by the need to optimize performance or insert ECOs into the design. Faced with two versions of the RTL design, the designer needs to verify that the new RTL is sequentially equivalent to the previous RTL. Moreover, this task must be repeated for every change, however small. Comparing the two versions of the RTL in simulation can take weeks of regression runs. In addition, because simulation is non-exhaustive by nature the results are far from certain. Traditional equivalence checking tools can be used for this task but, so far, the market solutions have been too slow and too limited by the size of the designs that they can handle. The SEC App can accept large sub-system blocks as well as complete SOCs and compare the two versions of the RTL orders of magnitude faster than simulation. The JasperGold SEC App's optimized formal engine executes up to 10x faster than the application of other sequential equivalence checking solutions, and orders of magnitude faster than simulation runs performing a similar task. It also enables the App to handle difficult multi-value logic cases, such as "non-resettable flops," "isunknown," "Verilog 'X' values" and "dangling signals." The SEC App can perform non-cycle accurate verification using temporal and functional mapping. Equipped with this "verification context" technology, it is possible to apply the SEC App to formally compare a high level model or reference model against its RTL implementation. The two models may not necessarily match every cycle, or require certain logical expressions to match.

Jasper Design Automation, Inc. Presents at 16th Annual Needham Growth Conference, Jan-14-2014 02:10 PM

Jasper Design Automation, Inc. Presents at 16th Annual Needham Growth Conference, Jan-14-2014 02:10 PM. Venue: Palace Hotel in Midtown Manhattan, 455 Madison Avenue, New York, NY 10022, United States.

Jasper Design Automation Announces Availability of its New JasperGold Security Path Verification

Jasper Design Automation has announced the availability of its new JasperGold Security Path Verification, or SPV, app, the verification solution which detects threatening security vulnerabilities in system-on-chip, or SoC, designs. Using the new SPV App, SoC designers can specify, analyze and verify design constructs that implement data security as well as identify scenarios that can adversely affect the secure mechanism. Leveraging the comprehensive core formal engines and usability features of the JasperGold platform, the SPV App allows users to specify the legal security access paths. In addition, the new APP enables users to identify potential security vulnerabilities in a SoC design by specifying functional paths between non-secure and secure areas. Using the RTL data and the path specifications, the App automatically creates properties and constraints and performs an exhaustive verification based on Jasper's unique path sensitization technology. The new SPV App proves that secure data cannot be illegally read or overwritten, and that it remains secure in the presence of hardware faults that could otherwise compromise the security mechanism and open the door to intentional tempering.

Similar Private Companies By Industry

Company Name Region
M&C Systems, Inc. United States
Heartbeat Software Inc. United States
OneName Corporation United States
Tokutek, Inc. United States
Logictran, Inc. United States

Recent Private Companies Transactions

Type
Date
Target
Merger/Acquisition
April 21, 2014
--
 

Stock Quotes

Market data is delayed at least 15 minutes.

Company Lookup

Most Searched Private Companies

Company Name Geographic Region
NYC2012, Inc. United States
Lawyers Committee for Civil Rights Under Law United States
Bertelsmann AG Europe
Rush University United States
Greater Houston Partnership United States

Sponsored Financial Commentaries

Sponsored Links

Report Data Issue

To contact Jasper Design Automation, Inc., please visit www.jasper-da.com. Company data is provided by Capital IQ. Please use this form to report any data issues.

Please enter your information in the following field(s):
Update Needed*

All data changes require verification from public sources. Please include the correct value or values and a source where we can verify.

Your requested update has been submitted

Our data partners will research the update request and update the information on this page if necessary. Research and follow-up could take several weeks. If you have questions, you can contact them at bwwebmaster@businessweek.com.