Add formal and timed verification for cc_cdc_2phase_clearable #403
Annotations
10 errors
|
Run Verible lint:
src/cc_addr_decode.sv#L67
struct definitions always should be named using typedef. [Style: typedef-structs-unions] [typedef-structs-unions]
|
|
Run Verible lint:
src/cc_onehot_to_bin.sv#L35
Line length exceeds max: 100; is: 102 [Style: line-length] [line-length]
|
|
Run Verible lint:
src/cc_clk_int_div.sv#L304
Use blocking assignments, at most, for locals inside 'always_ff' sequential blocks. [Style: sequential-logic] [always-ff-non-blocking]
|
|
Run Verible lint:
src/cc_clk_int_div.sv#L301
Use blocking assignments, at most, for locals inside 'always_ff' sequential blocks. [Style: sequential-logic] [always-ff-non-blocking]
|
|
Run Verible lint:
src/cc_clk_int_div.sv#L292
Use blocking assignments, at most, for locals inside 'always_ff' sequential blocks. [Style: sequential-logic] [always-ff-non-blocking]
|
|
Run Verible lint:
src/cc_clk_int_div.sv#L289
Use blocking assignments, at most, for locals inside 'always_ff' sequential blocks. [Style: sequential-logic] [always-ff-non-blocking]
|
|
Run Verible lint:
src/cc_passthrough_stream_fifo.sv#L121
Remove trailing spaces. [Style: trailing-spaces] [no-trailing-spaces]
|
|
Run Verible lint:
src/cc_stream_arbiter.sv#L18
Line length exceeds max: 100; is: 105 [Style: line-length] [line-length]
|
|
Run Verible lint:
src/cc_stream_arbiter.sv#L17
Line length exceeds max: 100; is: 105 [Style: line-length] [line-length]
|
|
Run Verible lint:
src/cc_pkg.sv#L99
Localparam name does not match the naming convention defined by regex pattern: (([A-Z0-9]+[a-z0-9]*)+(_[0-9]+)?) [Style: constants] [parameter-name-style]
|
background
wait
wait-all
cancel
parallel
Loading