Jasper Design Automation, provider of advanced formal technology solutions, announced in a press release that it has been awarded four new US 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," Ranjan continued.
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.
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, the industry’s most powerful and effective deep formal verification solution; and ActiveDesign with Behavioral Indexing for accelerated legacy design and IP comprehension and reuse.
SOURCE:AGIPNEWS
