Fpga lint fixes - Githubissues

tillitis / tillitis-key1

Board designs, FPGA verilog, firmware for TKey, the flexible and open USB security key 🔑

https://www.tillitis.se

382 stars 24 forks source link

Fpga lint fixes #236

Closed secworks closed 2 weeks ago

secworks commented 2 weeks ago

A set of fixes to allow separate linting of the PicoRV32 and fixes to the PicoRV32 RTL that does not affect the implementation. The set of fixes also includes no flags to the linter to ignore warnings in the cell library.

dehanj commented 2 weeks ago

Squashed and updated a few comments.
Enabled linting in CI again.

We still have to keep an eye out for linting, there could be introduced lint warnings that are globally ignored.