Blue Pearl Software offers the Visual Verification Suite, a comprehensive set of tools designed to enhance the reliability and efficiency of RTL design for ASICs, FPGAs, and IPs. This suite integrates advanced static and formal analysis techniques to identify and rectify design issues early in the development process, thereby reducing costly iterations and accelerating time-to-market. By automating critical manual processes, Blue Pearl's solutions improve design quality and predictability, ensuring that specifications are met at the RTL stage before synthesis and physical implementation.
Key Features and Functionality:
- HDL Creator™: A smart editor providing real-time syntax and style checking within an intuitive interface, facilitating efficient RTL and test bench coding.
- Analyze RTL™: Offers comprehensive static and formal linting to verify design integrity, adherence to methodology standards, and design rules, thereby reducing time spent on writing accurate RTL code.
- Clock Domain Crossing Analysis: Ensures synchronized, glitch-free designs by detecting and analyzing asynchronous clock domain crossings, mitigating risks of metastability.
- Automatic SDC Generation: Identifies false and multi-cycle paths from RTL descriptions and generates Synopsys Design Constraints for implementation, streamlining the timing closure process.
- Management Dashboard: Provides real-time visibility into RTL verification progress, offering graphical reports on design rule checks and clock domain crossing issues, aiding in design audits and reviews.
Primary Value and Problem Solved:
Blue Pearl Software addresses the increasing complexity and time-to-market pressures in chip design by automating error-prone manual processes at the RTL stage. By validating design specifications early, generating accurate timing constraints, and identifying functional design issues, the Visual Verification Suite reduces the number of iterations required in the design flow. This leads to significant cost savings, improved product quality, and more predictable development schedules, enabling designers to meet narrow market windows effectively.
