home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / verilog / 316 < prev    next >
Encoding:
Text File  |  1992-08-18  |  3.1 KB  |  88 lines
  1. Newsgroups: comp.lang.verilog
  2. Path: sparky!uunet!decwrl!csus.edu!netcom.com!veritool
  3. From: veritool@netcom.com (Veritools)
  4. Subject: new verilog tools
  5. Message-ID: <#y0m78q.veritool@netcom.com>
  6. Date: Tue, 18 Aug 92 17:29:07 GMT
  7. Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
  8. Lines: 78
  9.  
  10. From rschop!veritools.com!schop Tue Aug 18 09:52:00 1992
  11. Return-Path: <rschop!veritools.com!schop>
  12. Received: from netcomsv.netcom.com by netcom.netcom.com (4.1/SMI-4.1)
  13.     id AA22377; Tue, 18 Aug 92 09:51:59 PDT
  14. Received: from rschop.UUCP by netcomsv.netcom.com with UUCP (4.1/SMI-4.1)
  15.     id AA06395; Tue, 18 Aug 92 09:51:48 PDT
  16. Received: by veritools.com (4.1/SMI-4.1)
  17.     id AA01070; Tue, 18 Aug 92 09:46:13 PDT
  18. Date: Tue, 18 Aug 92 09:46:13 PDT
  19. From: schop@veritools.com (Robert Schopmeyer)
  20. Message-Id: <9208181646.AA01070@veritools.com>
  21. To: veritool@netcom.com
  22. Status: R
  23.  
  24.             NEW VERILOG TOOLS FOR VERILOG DESIGNERS 
  25.             ___________________________________
  26. 8/17/92
  27.     VERITOOLS INC. has several new software products for designers
  28.     using Verilog which make Verilog easier to use and allow the user
  29.     of Verilog to be more productive. 
  30.  
  31.     Undertow I, the wave display program for Verilog Value Change 
  32.             Dump Files, engineers using this program have been 
  33.             getting 5 times the productivity over previous
  34.             ways of debugging simulations
  35.  
  36.     Typetool I, an easy to use graphical front-end for Verilog
  37.     
  38.     VLTool, a graphical front-end for Verilog with a design parser
  39.  
  40.     Vflat I, the Verilog netlist flattener
  41.  
  42.     These products are available for use on Sun-Sparc workstations and 
  43.     are obtainable with ftp anonymous.  Undertow I is also available for use
  44.     on the HP 700 workstations. Please contact Veritools Inc. directly
  45.     for this version.
  46.  
  47.     Other products available from Veritools Inc. are:
  48.  
  49.     Nettool, a tool to automatically determine the status of all of the 
  50.     available workstations on your network and allow the user to log
  51.     into the most appropriate one
  52.  
  53.     veriLINT, a program to lint your Verilog code for user selectable 
  54.     constructs for both simulation and synthesis 
  55.  
  56.     Verilog to VHDL converter, converts Verilog code to VHDL code
  57.  
  58.     interParse, a parser for Verilog, primarily used for syntax checking
  59.  
  60.     openHDLtoolkit, a software application that reads and parses a Verilog
  61.     HDL description, verifies the syntactic and semantic correctness
  62.     of the description, generates an intermediate representation and 
  63.     provides a comprehensive suite of access routines for manipulating
  64.     this data
  65.  
  66.      Veriformal,  a formal verification tool that Boolean compares two
  67.       representations of a design and determines if they are equivalent or not
  68.  
  69.     If you would like to retrieve the Veritools' software products using
  70.     ftp anonymous please follow these basic instructions:
  71.  
  72.         1.  ftp netcom.netcom.com or ftp 192.100.81.100 
  73.                  login as anonymous
  74.                 use password as indicated 
  75.         2.  cd pub/veritools
  76.         3.  get veritools_tar.Z
  77.         4.  get README
  78.         5.  close
  79.  
  80.     If you need any information about these products 
  81.     contact Veritools Inc. at:
  82.  
  83.         email:  rschop!veritools.com!inquiry@netcom.com
  84.         phone: 415 941-6870
  85.         fax: 415 941-7965
  86.     Verilog is a registered trademark of Open Verilog International.
  87.  
  88.