JasperGold Behavioral Property Synthesis App
Jasper’s JasperGold Behavioral Property Synthesis (BPS) App increases productivity and reduces time-to-market by generating assertions, constraints, and covers using the RTL and simulation information. The properties generated from the BPS App are automatically ranked and pre-classified and can be output in standard SVA which can then be used in any assertion-based verification (ABV) flow such as simulation, formal or emulation to increase functional coverage, aid in verification closure, and reduce debug time.
Behavioral Property Synthesis App automatically generates assertions, constraints, and covers from RTL and simulation information.
The BPS App extracts critical expressions to guide, simplify and merge properties as well as take advantage of Jasper’s formal engine technology to reduce the number of property candidates. These technologies automatically filter the properties and present only high value ones to the engineers for review. It includes multi-cycle analysis for improved temporal property quality. Properties can be extracted among signals from different modules across different levels of hierarchy.
Accelerate Assertion-based Verification
Many designs today rely on assertion-based verification, whether simulation, formal verification or emulation. High-quality assertions and properties are critical to improve verification coverage, expose functional coverage holes, and achieve high confidence in the quality of the design. However, writing assertions in standard languages such as SystemVerilog Assertions (SVA) or PSL demands specialized knowledge. Even for experts, it can be extremely time-consuming to manually create all the properties required.
The BPS App reduces the need to create assertions manually and helps engineers learn about assertions. Designers and verification engineers can use the BPS App in standalone mode to generate standard human-readable SVA properties or with other JasperGold Apps. For example, designers can use it in conjunction with the JasperGold RTL Development App to study and explore design functionality fast for new or existing designs, or verification engineers can use it with the JasperGold Formal Property Verification App to expand the set of verification properties, identify coverage holes and increase formal proof coverage.
The BPS App increases engineering productivity and shortens the overall schedule so that the focus can be shifted to other important verification tasks rather than spending time on manually creating these assertions from scratch. It consequently accelerates the adoption of assertion-based verification.
Accelerate Verification Closure
Jasper’s Behavioral Property Synthesis App accelerates verification closure by leveraging both RTL and simulation information to find coverage holes, increase functional coverage and raise the overall assertion density.
Simulation information is provided via existing FSDB or VCD files or via the simulator PLI link at runtime and if desired, can be applied to lower levels of RTL hierarchy to focus the area of property generation. Based on the information extracted from the verification environment, the BPS App will automatically mark the properties as assertions, assumptions, covers, and coverage holes. Along with automatic ranking using Jasper’s formal technology, this means that only high value properties are presented as the focus for review. As part of the review process, the verification and design engineers can classify the properties as to their importance, which adds to the focus of the important properties. Once the desired set of properties have been identified, the simulation environment can be enhanced to address the coverage holes and the properties can be added to the simulation environment to increase confidence that there are no longer any holes and increase the assertion density to catch corner-case bugs.
The BPS App shortens the overall time to closure by automatically creating functional coverage properties and pinpointing coverage holes in the verification environment. At the same time, the BPS App increases the overall property density and thereby improves the quality of the verification environment as well as the design.