home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / verilog / 488 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.3 KB  |  39 lines
  1. Newsgroups: comp.lang.verilog
  2. Path: sparky!uunet!timbuk.cray.com!walter.cray.com!jake!jwest
  3. From: jwest@jake (Jeff West)
  4. Subject: Re: New question - lint like verilog checker
  5. Message-ID: <1992Dec22.095322.29295@walter.cray.com>
  6. Lines: 27
  7. Nntp-Posting-Host: jake.cray.com
  8. X-Newsreader: Tin 1.1 PL3
  9. References: <13702@optilink.COM>
  10. Date: 22 Dec 92 09:53:22 CST
  11.  
  12. manley@optilink.COM (Terry Manley) writes:
  13. : In using the verilog language I've noticed the language
  14. : will allow you to do many things you don't necessarily
  15. : want to do.  Like the C language it is very flexible, 
  16. : unfortunately unlike C there isn't a program verifier
  17. : like lint.  I can think of many things I'd like to be
  18. : checked, things that if checked would eliminate some
  19. : of the debugging phase. (My recent post on execution
  20. : of always blocks is one example, another is missing
  21. : event triggers for always blocks, or declared but 
  22. : unreferenced reg or wire variables, or ....)
  23. : 
  24. : Anybody heard of a tool like this?
  25. : 
  26. : dave
  27. : manley@optilink.com
  28.  
  29. There is a tool called Verilint from the Veritools company.  I have
  30. no experience with it though.
  31.  
  32. Jeff
  33.  
  34. ---------------------------------------------------------------------
  35. It's not denial.  I'm just very selective about the reality I accept.
  36.  
  37.     - Calvin & Hobbs
  38.  
  39.