Reading counter-examples

From: Laurent Arditi (larditi@ti.com)
Date: Tue Jun 26 2001 - 08:23:45 MDT

Next message: Laurent Arditi: "Bug in VIS"

Previous message: Fabio Somenzi: "Re: VIS-1.4: Downloading Problems"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Hi all,

is there anywhere a tool to translate VIS counter examples into a more
readable view, ideally a waveform (e.g. VCD format) ?

Thanks in advance for any pointer.

Laurent.

-- 
============================================================  |\/\/\/|
Laurent Arditi               Texas Instruments. MS. 21, BP 5  |      |
Email: larditi@ti.com        06271 Villeneuve-Loubet Cedex    ( O  O )
Tel: +33 (0)4 9322 2856      FRANCE                           |   o  |

Next message: Laurent Arditi: "Bug in VIS"
Previous message: Fabio Somenzi: "Re: VIS-1.4: Downloading Problems"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Tue Jun 26 2001 - 08:30:12 MDT