Products

JasperGold RTL Development App

Ever-increasing complexity and competitive time-to-market requirements of modern SoCs have placed mounting pressure on designers to improve their productivity and deliver higher quality designs. Pushing bug-finding responsibility to the verification team dictates that most bugs will not be found until a critical mass of RTL (usually from multiple designers) and testbench code (developed by the verification engineer) has been integrated and debugged. Unfortunately, the longer the lifespan of a bug, the more costly are its ripple effects. Given that traditional design and reuse solutions do not provide the essential design visibility necessary to ensure bug-free designs, costly and time-consuming design re-spins occur.

The JasperGold® RTL Development App drives higher RTL design quality and designer productivity, reduces verification time, accelerates knowledge transfer, improves design maintenance, and enables efficient design reuse. It delivers early RTL design for debug and verification, as well as enables exploration and reuse of legacy designs and commercial IP. Formal analysis techniques and solutions, coupled with Jasper's patented Visualize™ technology, automatically produce interesting waveforms from the RTL. This is accomplished without the development of a testbench or any input stimulus.

RTL Development App within the unified JasperGold Apps environment

Simply provide an RTL design directory and EasyStart™ can automatically gather the necessary design files along with identifying potential clocks and resets. RTL can be visualized early in the design cycle even without a testbench or input stimulus, enabled by the powerful Visualize™ technology. Visualize significantly speeds up design exploration fueled by understanding behaviors and root cause analysis.

For signals of interest (e.g FSMs), AutoExplore™ can construct complicated waveforms showing the different possibilities that the signal is allowed to transition through. This helps gain quick understanding of such signals without having to construct elaborate testbenches..

Behavioral Indexing™ technology lets engineers design, concurrently modify, and verify RTL code, then store it in a persistent database containing both the RTL itself and an “index” of its elastic behaviors and enables efficient design reuse. The Activated Design™ provides an executable specification cross-correlated to RTL. This facilitates dynamic analysis of proposed changes to the design. The automatically extracted waveforms for design behavior queries can provide definitive answers to reuse questions since signals, behaviors and assertions can be quickly visualized. Once these behaviors are stored in the JasperGold database, they can be concurrently modified across multiple users and teams, multiple revisions of RTL can be visualized, and both compared with Implication Analysis™.

The JasperGold RTL Development App also produces reports showing the impact of design changes on the indexed behaviors. These reports enable the designer to easily preserve desired behaviors while iteratively developing the design, or modifying it for a new use.  These behaviors in the form of properties can be exported from the database to either simulation or a formal verification tool such as the JasperGold® Formal Property Verification App.

The JasperGold RTL Development App accelerates design development and reuse for important internal design blocks, as well as commercial IP comprehension and deployment. Correlated RTL, waveforms and behaviors form an “executable spec” for the design supporting what-if analysis and incremental design evolution. A first-of-its-kind EDA solution for behavior-based RTL analysis and verification by designers, JasperGold RTL Development App iteratively extracts, indexes, and stores design behaviors in an executable database. Coupled with a powerful visualization and analysis system, engineers are able to comprehend RTL faster, complete verification early in the design cycle, and make safe design modifications. With the executable database, it accelerates knowledge transfer within and across teams and enables efficient design reuse.

Jasper provides a complete flow for RTL designers.