Let’s say you’re building a Star Wars Lego set. Think of the GuideWare methodology as the base Lego block that you need to use at the very start before you begin adding more to build the structure. From there, users have the freedom to customize which colored Lego block they choose next to enhance the base structure. Similarly, users of all skillsets can modify and build their own lint methodology on top of the recommended Synopsys GuideWare set, leveraging the industry’s most comprehensive knowledge base of design expertise and best practices to enable user-specified extensions.
By designing a trusted methodology, we finally have a thorough, step-by-step linting check process that customers can use as soon as the RTL code is written. This methodology documentation with rule sets becomes a critical framework for the team to enforce a consistent style throughout the design, all while accelerating runtime with multi-core design execution.
Different applications, such as automotive or aerospace, require specific linting because of their distinct design needs. For instance, designs targeting ISO 26262 for automotive applications need to ensure there is no logic congestion or large muxes inference or delays used in the design, which are not good practices. Automotive designers highly prefer a modular and reusable design methodology, and our GuideWare Lint Automotive helps meet this objective.
Similarly, designs having military or aerospace as an end-user application, typically aiming for DO-254 certification, need to make sure designs are more secure with respect to clock and reset inference and its end use. For example, buffered or gated clock usage is not recommended, and a clean and structured clock/reset tree is critical for a secure design. Design gaps such as floating pin, dead code, registers, and others could lead to serious hindrances to DO-254 compliance targets. Therefore, the GuideWare Lint methodology acts as a saving grace, helping designers get the design right in the first go. While Synopsys continues to develop predefined linting rule sets for assurance and automotive applications, it’s worth noting that users can leverage the existing rulesets for ISO 26262 and DO-254 in addition to existing GuideWare rule sets to address automotive and military application needs—a feat we do not take lightly.
By adopting a “shift left” identification approach, Synopsys VC Spyglass Lint leverages consistent language construct support with Synopsys Design Compiler® and Synopsys Formality solutions, as well as deploys reliable implementation of language constructs across these technologies. With Synopsys VC SpyGlass Lint, designers can identify complex verification issues during equivalence checking earlier at the RTL stage, reducing iterations over the downstream stages. Our methodology also provides dedicated rulesets to catch simulation-synthesis mismatches.