USB2.0 OTG PHY supporting UTMI+ level 3 interface - 28HK/55LL
Jasper Extends Formal Verification Technology Lead With Four New Patents
Mountain View, Calif. - March 25, 2009 - Jasper Design Automation, provider of advanced formal technology solutions, today announced it has been awarded four new U.S. patents.
The recent patents further advance the company's formal technology, according to Jasper CTO Rajeev Ranjan. "Jasper's commitment to core formal research produces products that enable our customers to achieve design closure faster, and with greater confidence," he said. "Our R&D continues to deliver verification innovation at all stages of the design, to heighten quality and productivity throughout the flow, from architecture to production."
The new patents cover a variety of innovations:
-
7,437,694 - Identification of certain RTL load signals and values, with their contribution to the proof target. This targeted information enables high performance and fast comprehension for formal users.
-
7,421,668 - Meaningful visualization of properties independent of a circuit design under various conditions, which helps users debug any errors in how the property is implemented in a requirements model.
-
7,418,678 - This invention provides methods for simplifying counters in a circuit design while preserving important implications, enabling reliable verification of circuit designs that use counters.
-
7,412,674 - Applies the concept of analysis regions to analyze the properties/requirements for a design. This generates a visual display that is available to the user, representing source code in the analysis region for properties in comparison to the maximum possible analysis region.
Jasper has now been granted 11 patents, with additional patents pending. Through continuous innovation, and responsiveness to market-driven requirements, Jasper delivers proven "Targeted ROI" to customers by solving their most critical design challenges in ways that also speed time to market, reduce overhead, and mitigate risk. This philosophy is embodied in JasperGold(R), the industry's most powerful and effective deep formal verification solution; and ActiveDesign(tm) with Behavioral Indexing(tm) for accelerated legacy design and IP comprehension and reuse.
About Jasper Design Automation
Jasper delivers industry-leading EDA solutions for semiconductor design, verification, and reuse, based on the state-of-the-art formal technology. Customers include worldwide leaders in wireless, consumer, computing, and networking electronics, with over 100 successful chip deployments. Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, India and Japan. Visit www.jasper-da.com for Targeted ROI: reducing risks; increasing design, verification and reuse productivity; and accelerating time to market.
|
Related News
- Jasper Launches Security Path Verification App - Industry's First Formal Solution for Detecting Security Vulnerabilities in SoC Designs
- Jasper and Duolog Partner to Combine SoC Integration with Formal Verification
- Jasper Makes Formal Verification Power-Aware with a New Low Power App for Verification of SOCs with Multiple Power Domains
- Juniper Networks Adopts Jasper Formal Technology to Mitigate Design and Verification Risk
- Jasper DFI Formal Verification Proof Kits Now Available
Breaking News
- Logic Design Solutions launches Gen4 NVMe host IP
- ULYSS1, Microcontroller (MCU) for Automotive market, designed by Cortus is available
- M31 is partnering with Taiwan Cooperative Bank to launch an Employee Stock Ownership Trust to strengthen talent retention
- Sondrel announces CEO transition to lead next phase of growth
- JEDEC Publishes LPDDR5 CAMM2 Connector Performance Standard
Most Popular
- Arm's power play will backfire
- Alphawave Semi Selected for AI Innovation Research Grant from UK Government's Advanced Research + Invention Agency
- Secure-IC obtains the first worldwide CAVP Certification of Post-Quantum Cryptography algorithms, tested by SERMA Safety & Security
- Weebit Nano continuing to make progress with potential customers and qualifying its technology Moving closer to finalisation of licensing agreements Q1 FY25 Quarterly Activities Report
- PUFsecurity Collaborate with Arm on PSA Certified RoT Component Level 3 Certification for its Crypto Coprocessor to Provide Robust Security Subsystem Essential for the AIoT era
E-mail This Article | Printer-Friendly Page |