Synopsys SpyGlass vP-2019.06 SP1.1 | 8.2 Gb
Synopsys, Inc., the world leader in semiconductor design software, has unveiled Synopsys SpyGlass vQ-2020.03 SP2-3 – Early Design Analysis Tools Enable Efficient Static Verification of FPGA Designs. Key Enhancements in SpyGlass Q-2020.03-SP2-3SpyGlass CoreThe following enhancement has been made:
- Enhanced SpyGlass by adding an option, named ignore_waiver_file_attr, to ignore the file related attributes (such as -file, -fileline, -filelineblock) in awl file/swl file or both. To enable this feature, set the following option: set_option ignore_waiver_file_attr <awl|swl|all>
Base SpyGlassThe SpyGlass lint, morelint, openmore, starc, and starc2005 products have been enhanced in this release.
SpyGlass lint
The following enhancements have been made:
- W576: Enhanced the W576 rule by adding a parameter, named ignore_conditional_expressions, which when set to yes, enables the rule to not report a violation for conditional expressions of if, generate if, for, generate for, repeat, while, wait and condopstatements.
- W240: Enhanced the W240 rule by adding a parameter, named checkfullstruct, which when set to yes, enables the rule to not report a violation for struct if at least one element of the struct is read.
- W495: Enhanced the W495 rule by adding a parameter, named check_unread parameter, which when set to yes, enables the rule to report a violation for inout ports that are not read. The default value of the check_unread parameter is set to no.
- W224: Enhanced the W224 rule by adding the report_only_from_one_hierarchy parameter which when set to yes, enables the rule to report only one violation per assignment.
- W164a, W164b: Enhanced the W164a and W164b rules to check assign pattern statements where the elements are assigned names or indexes. However, values assigned through data types and default labels are not checked due to the complexity. This feature is enabled when the check_assign_pattern parameter is set to yes.
- W164a, W164a_a, W164a_b, W164b: Enhanced the rules to perform the following when the nocheckoverflow parameter is set to nofor addition, subtraction and concatenation operators:
. W164a, W164a_a, W164a_b: The W164a, W164a_a, and W164a_b rules will not report a violation if the maximum value of the RHS expression is within the width of the LHS signal.
. W164b: The W164b rule will not report a violation if the LHS width lies in between the natural width and the LRM width.
. W164a: The W164a rule reports a violation width that will be the natural width when the LRM width of the RHS is more than the natural width.
. W164b: The W164b rule reports a violation width that will be the LRM width when the LRM width of the RHS is more than the natural width.
SpyGlass morelint
The following enhancements have been made:
- ParamValueOverride-ML: Enhanced the ParamValueOverride-ML rule to report entries related to the module only if there are overridden parameters in the module in the ParamValueOverride_Report.rptreport.
- ImproperRangeIndex-ML: Enhanced the ImproperRangeIndex-MLrule by adding a parameter, named report_loop_var_expr, which when set to yes, enables the rule to report a violation for index expressions with for loop variables by considering the maximum value of the loopvariable. The maximum value of the loop variable is determined using the initial and conditional expressions of the for loop. The rule reports a violation for the integer loop variable when both the report_loop_var_expr and ignoreInteger parameters are set to yes.
SpyGlass openmore
The following enhancement has been made:
- CombLoop: Enhanced the CombLoop rule to report mutually exclusive loops in the default flow and added a parameter, named check_loop_breakers, which when set to yes, enables the rule to not report a violation for mutually exclusive loops.
SpyGlass starc, starc2005
The following enhancements have been made:
- STARC-2.10.3.2b: Enhanced the STARC-2.10.3.2b rule to report a violation width (when the nocheckoverflow parameter is set to no for addition and subtraction operators) that will be the LRM width when the LRM width of the RHS is more than the natural width.
- STARC05-2.1.2.4: Enhanced the STARC05-2.1.2.4 rule by adding a parameter, named ignore_system_tasks, which when set to yesenables the rule to not report a violation for system tasks.
- STARC05-2.1.1.2: Enhanced the STARC05-2.1.1.2 rule by adding a parameter, named report_only_from_one_hierarchy, which when set to yes, enables the rule to report only one violation for the function, when the same function is included in different hierarchies.
SpyGlass CDCThe following enhancements have been made:
- License Changes: For all features that require the Advanced_CDC license, SpyGlass CDC now requires the following additional license key:
. cdc_adv_checker
For the RDC flow, SpyGlass CDC now requires the following additional license keys:
. cdc_adv_checker
. rdc_adv_checker
Refresh the existing license file to access the new features.
- Clock_info05, Clock_info05b: Enhanced the Clock_info05 and Clock_info05b rules by adding a constraint, named filter_clock_overlap, to specify the hierarchical nets and hierarchical pins for filtering converging clocks.
. SGDC_filter_clock_overlap01: Enhanced SpyGlass CDC by adding a rule, named SGDC_filter_clock_overlap01 to report a violation if non-existent objects are specified in the -clocks argument of the filter_clock_overlap constraint.
. SGDC_filter_clock_overlap02: Enhanced SpyGlass CDC by adding a rule, named SGDC_filter_clock_overlap02 to report a violation if non-existent objects are specified in the -conv_net argument of the filter_clock_overlap constraint.
. FilterClockOverlapSetup: Enhanced SpyGlass CDC by adding a rule, named FilterClockOverlapSetup to report cases in which the filter_clock_overlap constraint is not used to waive any of the clock_info05 / clock_info05b violations in the design.
- Clock_info05, Clock_info05b: Enhanced the Clock_info05 and Clock_info05b rules by adding a parameter, named report_unused_converging_clocks, which when set to yes, reports all the clock overlaps on a mux/gate. These clock overlaps are not used by the sequential elements and they reach another clock.
- Ac_Abstract_validation02, Ac_glitch03: In the hierarchical SoC flow, SpyGlass includes the -single_non_quasi argument in the generated abstract_port constraint if a non-quasi source is reaching the output port through a combinational logic. This enables the Ac_Abstract_validation02 and the Ac_glitch03 rules to consider such combinational paths as buffers and therefore the rules do not report a violation for such cases.
List of STARs Fixed in SpyGlass Q-2020.03-SP2-3The following STARs have been fixed in this release:
3220508 How to make SpyGlass Lint report all the Structural CombLoop
3277342 Report providing for info for STX_VE_690
3282450 STX_VE_481 for v2k config file
3298999 checkfullbus does not work in W240
3304357 W123 random behavior
3313642 CombLoop is not reported but STARC-1.2.1.3
3314253 Missing ImproperRangeIndex-ML
3314967 Width mismatch is not detected with struct assignments
3315571 False violation for STARC-2.1.1.2
3318954 <SpyGlass>structure array is not checked by ImproperRangeIndex-ML
3331663 False W336 error
3339784 FalsePathSetup false violations
3340587 Provide Error message when user specifies virtual clock in format SG_VCLK_#
3357413 Getting "Assertion Failure" messages on screen when tracing
signals in Incremental Schematic
3357436 Data domain not shown in Debug Data on signal receiving side of always_comb assignment
3359896 clkname parameter regex doesn't work with brackets
3371650 cdc_false_path accepted/applied
3375484 Applying waivers from waiver editor taking long time
3376397 CombLoop missing violation
3380096 Waiver not applied for RDC run
3388184 Enhancement to ignore -file argument in AWL waivers
3389357 Missing STARC05-2.2.3.1 in SpyGlass
3389520 Inconsistency in W164b when 'logic' is used
3413282 STX reported on file when encrypted
3415924 SPG-LINT result mismatch in GUI vs moresimple rp
3420901 path_logic inferencing to be buf instead of combo with quasi sources
3425072 False ARC01 when quasi_static_rdc removes one reset at source, other source reset is same as dest reset
3426151 Waive clock_info05/clock_info05b report for exclusive relation clocks
3426157 Report clock_info05/clock_info05b when define clock at internal cell
3426210 False violation for W164a
3427410 False pass for QUASI_STATIC_SYNC_Check_mod assertion
3429652 math_real produces incorrect results with UFE
3431330 Reset_info09e rule is not running with rdc/rdc_verify_struct goal
3434369 False 362 Violation
3437615 Missing W164a with check_explicit_width parameter
3441018 Invalid entries in ParamValueOverride_Report Report
3442469 FileHdr waiver mechanism doesn't work
3448388 False violation on Ac_abstract01 rule for input-only I/O port
3452740 Usage of quasi_static -des_clk leads to false SGDC_quasi_static02 error at parent
3454281 Add disabling condition for X->1 transitions on from_rst in RFP_DYN_MARGIN_Check_mod
3455143 False violation for STARC-2.1.1.2
3455226 Crash during W146 checking
3456343 Wire referenced in assertions file before declaration
3465252 Missing violation for signal with multiple drivers
3466714 SVA instances for QUASI_STATIC_SYNC_Check_mod are creating undeclared signals which cause simulator compile errors
3467567 SpyGlass Design Read ends with SYNTH_5407 Error
3473238 SpyGlass Lint false UndrivenInterm-ML and W415 violations
3475624 The crash issue
3480600 Hierarchical RDC SoC run memory issue
3481516 SPYGLASS UFE TERMINATED WHILE Checking "W416" Rule
3482062 Crash-2 during W146 rule checking
3482118 False Combo mismatch AAV02 for quasi_static multi-bit MUX cell
3482560 Crash in dynamic goal split when further run time improvements are not available
3510297 Refinements to rdc_reduce_pessimism to address custom design cases
3514986 Crash during report generation/waiver application
Synopsys' SpyGlass RTL signoff solution is a design and coding guideline checker that delivers full chip mixed-language (Verilog, VHDL and SystemVerilog) and mixed representation (RTL & gate) capabilities to speed development of complex system-on-chip (SoC) designs. SpyGlass’ GuideWare methodology, greatly enhances the designer's ability to check HDL code for synthesizability, simulatability, reusability, clock domain crossings, low power, timing constraints, testability and RTL/gate signoff. SpyGlass also integrates industry-standard best practices, as well as Synopsys’ own extensive experience working with industry-leading customers. Spyglass Quickstart Here's how you can quickly run SpyGlass Lint checks on your design.Synopsys, Inc. is the world leader in electronic design automation (EDA) software for semiconductor design. The company delivers technology-leading semiconductor design and verification platforms and IC manufacturing software products to the global electronics market, enabling the development and production of complex systems-on-chips (SoCs). Synopsys also provides intellectual property and design services to simplify the design process and accelerate time-to-market for its customers. Synopsys is headquartered in Mountain View, California and has offices in more than 60 locations throughout North America, Europe, Japan and Asia. Product: Synopsys SpyGlassVersion: vQ-2020.03 SP2-3 *Supported Architectures: x86_x64Website Home Page : www.synopsys.comLanguages Supported: englishSystem Requirements: Linux **Size: 16.0 Gb * release info:spyglass_vQ-2020.03-SP2-3_common.spf
spyglass_vQ-2020.03-SP2-3_docs.tar.gz
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.csh
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.part00
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.part01
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.part02
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.part03
ufe_optional_spyglass-vcs_vQ-2020.03-SP2-3_common.spf.README
spyglass_INSTALL_README.txt
* System Requirements:
本部分内容设定了隐藏，需要回复后才能看到
微博帐号登录