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