[Open Crypto Project] #12: Verilator warnings in i2c core
Open Crypto Project
trac at cryptech.is
Thu Nov 6 14:16:33 UTC 2014
#12: Verilator warnings in i2c core
-----------------------+----------------------
Reporter: joachims | Owner: pselkirk
Type: defect | Status: new
Priority: major | Milestone:
Component: rtl | Version:
Resolution: | Keywords:
Blocked By: | Blocking: 6
-----------------------+----------------------
Changes (by sra):
* blocking: => 6
Old description:
> Warnings found for the i2c rtl code using verilator --Wall --lint-only *:
>
> %Warning-UNUSED: i2c.v:64: Signal is not used: write_data
> %Warning-UNUSED: Use "/* verilator lint_off UNUSED */" and lint_on around
> source to disable this message.
> %Warning-UNUSED: i2c_core.v:48: Bits of signal are not used:
> i2c_device_addr[0]
> %Warning-CASEINCOMPLETE: i2c_core.v:436: Case values incompletely covered
> (example pattern 0x0)
> %Warning-CASEINCOMPLETE: i2c_core.v:456: Case values incompletely covered
> (example pattern 0x0)
> %Warning-CASEINCOMPLETE: i2c_core.v:519: Case values incompletely covered
> (example pattern 0x0)
> %Warning-CASEINCOMPLETE: i2c_core.v:539: Case values incompletely covered
> (example pattern 0x0)
New description:
Warnings found for the i2c rtl code using verilator --Wall --lint-only *:
{{{
%Warning-UNUSED: i2c.v:64: Signal is not used: write_data
%Warning-UNUSED: Use "/* verilator lint_off UNUSED */" and lint_on around
source to disable this message.
%Warning-UNUSED: i2c_core.v:48: Bits of signal are not used:
i2c_device_addr[0]
%Warning-CASEINCOMPLETE: i2c_core.v:436: Case values incompletely covered
(example pattern 0x0)
%Warning-CASEINCOMPLETE: i2c_core.v:456: Case values incompletely covered
(example pattern 0x0)
%Warning-CASEINCOMPLETE: i2c_core.v:519: Case values incompletely covered
(example pattern 0x0)
%Warning-CASEINCOMPLETE: i2c_core.v:539: Case values incompletely covered
(example pattern 0x0)
}}}
--
--
Ticket URL: <https://trac.cryptech.is/ticket/12#comment:1>
Open Crypto Project <https://wiki.cryptech.is/>
More information about the Ticket-BCC
mailing list