All: I recently checked in my project -- mostly to test the new lint. The files I checked in are not complete - only 2 actually compile without errors, but one must suppose those could be linted. General Issues: 1) The file I checked in (comitted to be precise) was not linted - it appears. 2) The e-mail report listed many errors (on files i did not want checked), but gave no useful detail.. 3) The link to obtain more information from Novas Software points to a product brief page -- not exactly what I was looking for. 4) Users Manual is available for download - but only if you have the host id for the license server --- i.e. It does not appear to be available to me. In addition I have been rather suprised that there have been NO complaints about the system -- In my experience NOBODY uses a lint for the first time without complaining. Has anyone actully used lint successfully ?? In any case -- the output I got from lint (after committing a file called memstate2.v - which I wished to lint) is copied below in case anyone can give me hints on how to proceed. bj Porcella http://pages.sbcglobal.net/bporcella/ -------------------------------------- e-mail message follows ------------------------------------------------------------------------------------------------------- This is autmated message from Lint Design Rule Checker because you imported/commited changest to your project CVS. If you want to disable Lint Checker go to project's adminitstration page and remove Lint from project properties list. ------------------------------------------------------------ Checking folder: wb_z80/rtl logDir = /tmp/lint/nLintLog rcfile = /opt/nLint/etc/nLint.rc nLint - A HDL Design Rule Checker, Release 2.2v12 (Linux) 01/19/2004 Copyright (C) 1996 - 2003 by Novas Software, Inc. Loading RS files ... Load RS file /opt/nLint/rules/opencores.rs Merging RS files ... Fri Apr 16 19:10:49 2004 Starting lint ... Import design Analyzing... source file "/tmp/lint/wb_z80/rtl/inst_exec.v" - 500 error(s), 0 warning(s) source file "/tmp/lint/wb_z80/rtl/istate.v" - 65 error(s), 0 warning(s) source file "/tmp/lint/wb_z80/rtl/memstate.v" - 2402 error(s), 1 warning(s) End of importing design. Memory used 5615752. Time used 1. Linting... Loading nLint options from : nLint.rc -wn 50000 Rule setting file = /opt/nLint/rules/opencores.rs. Report db file = /tmp/lint/nlReport.rdb. processing module "inst_exec"... traverse RTL traverse statements processing module "istate"... traverse RTL traverse statements "22055 buffered clock" will not be checked since DFT option is "pass through buffers". "22054 inverted clock" may not be checked since DFT option is "pass through inverter pair". nLint has not created clock domain,some enabled rules(for example:21057) which need clock domain will not be checked! Collect port information and checking driver/load, load/load mis-match rules... End of checking driver/load, load/load mis-match rules. Memory used 7123632. Time used 0 Collect in-out port information and check global rules like loop... End of checking loop-like global rules. Memory used 7436856. Time used 0 End of checking clock domain rules. Lint processing done. Fri Apr 16 19:10:52 2004 End of lint. Total 3064 Error(s), 144 Warning(s), 3 Information(s) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.opencores.org/forums.cgi/cores/attachments/20040416/d2aed39a/attachment.htm

I will check why report is incomplete.
About checking other files. I don't know verilog so I can't give you an
exact answer but as I know all the source code is checked because files
depends on each other. I will let you know when I fix this.

regards,
Miha

bporcella wrote:

Report bug has been fixed. About other issues I will discuss with some other developers. Certainly reports will be available on the web. regards, Miha ----- Original Message ----- From: Miha Lampretmihal at o...> To: Date: Fri Apr 16 21:06:57 CEST 2004 Subject: [oc] New Lint