Company Overview of Jasper Design Automation, Inc.
Jasper Design Automation, Inc. develops software solutions for semiconductor design, verification, and intellectual property reuse. The company offers JasperGold formal technology platform that validates complex designs, including packet-based data transportation, FIFOs, memories, caches, and multiple clock domains; and Behavioral Indexing technology that enables users to extract, index, and store relevant design behaviors, along with the RTL in a dynamic, executable database. It also offers JasperGold Apps architecture that includes applications for formal property and low power verification, connectivity and X-propagation verification, sequential equivalence checking, architectural modelin...
707 California Street
Mountain View, CA 94041
Founded in 1999
Key Executives for Jasper Design Automation, Inc.
Chief Executive Officer, President and Director
Vice President of Finance
Senior Vice President of Engineering
Chief Architect and Senior Vice President of R&D
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
Mar 31 14
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
Dec 5 13
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
Oct 22 13
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
Recent Private Companies Transactions
April 21, 2014