v
Synopsys, Inc.
Contents
Preface........................................................................................17
About This Book.................................................................................... 17
Contents of This Book ........................................................................... 18
Typographical Conventions ................................................................... 19
Using the Rules in the SpyGlass lint Product ...............................21
SpyGlass lint Rule Parameters .............................................................. 22
allow_clk_in_condition .........................................................................22
allviol.................................................................................................23
assume_driver_load.............................................................................24
casesize .............................................................................................25
checkblocking .....................................................................................26
checkfullbus........................................................................................26
checkfullrecord....................................................................................27
check_bbox_driver ..............................................................................28
check_case_type.................................................................................28
check_complete_design........................................................................29
check_concat_max_width.....................................................................30
checkconstassign.................................................................................30
check_const_selector...........................................................................31
check_counter_assignment...................................................................32
checkDriverInModule............................................................................34
checknonblocking ................................................................................34
check_genvar .....................................................................................34
check_implicit_senselist .......................................................................35
check_initialization_assignment.............................................................36
check_latch ........................................................................................36
checkOperatorOverload ........................................................................37
check_param_association .....................................................................38
check_shifted_only..............................................................................38
check_shifted_width ............................................................................39
check_sign_extend..............................................................................39
check_static_value ..............................................................................40
checksyncreset....................................................................................43
