Verification Interacting with Synthesis -- Users' Mailing List Archive
By Author

For messages since 2003, please click here!

287 messages sorted by: [ date ] [ thread ] [ subject ]
Mail actions: [ mail a new topic ]
Starting: Thu Mar 16 2000 - 11:11:37 MST
Ending: Thu Oct 03 2002 - 13:26:05 MDT

--------- shojai
vl2mv.exe (Tue Jun 04 2002 - 05:22:38 MDT)

run VIS (Tue May 21 2002 - 00:41:36 MDT)

Re: download (Tue May 14 2002 - 02:07:42 MDT)

download (Mon May 13 2002 - 22:47:34 MDT)

a a
memory (Mon May 21 2001 - 03:43:39 MDT)

Aarti Gupta
running VIS in batch mode (Wed Mar 22 2000 - 11:31:48 MST)

Abdelillah Mokkedem
(no subject) (Thu Mar 16 2000 - 13:55:16 MST)

Abelardo Pardo
How was it (Wed Jun 21 2000 - 10:49:13 MDT)

ABU.ABACHA@edgar.colorado.edu
URGENT CALL FOR HELP (Sat Aug 11 2001 - 17:09:20 MDT)

Alan Mishchenko
bug in .../glu-1.4/src/avl/avl.c (Tue Jun 05 2001 - 18:08:04 MDT)

Alexander G. Haley
compiling error under linux (Mon Feb 18 2002 - 20:50:12 MST)

Andreas Andrick
VIS-1.4: Downloading Problems (Mon Jun 25 2001 - 01:53:52 MDT)

Downloading Problems (Tue Jun 19 2001 - 11:16:45 MDT)

badawy
Fw: Call for Papers - The 2002 International Workshop on System on Chip for Real Time Processing (Mon Aug 20 2001 - 15:49:10 MDT)

Balakrishna Kumthekar
Re: comb_verify command (Wed Jun 21 2000 - 10:39:47 MDT)

Re: running VIS in batch mode (Wed Mar 22 2000 - 12:01:40 MST)

Re: running VIS in batch mode (Wed Mar 22 2000 - 11:46:59 MST)

Bertrand Grégoire
new features of VIS (Mon Aug 19 2002 - 04:37:47 MDT)

Details on the 'invariant-formula' algorithm (Tue Mar 05 2002 - 08:22:59 MST)

business1@tangfeng.org
Beijing Tangfeng Culture Exchange Centre (Tue Oct 09 2001 - 01:21:48 MDT)

Chao Wang
Re: Request for download link. (Fri Aug 10 2001 - 14:36:29 MDT)

Re: Downloading Problems (Tue Jun 19 2001 - 12:16:21 MDT)

Re: vis automata-based approach to model checking (Thu May 31 2001 - 10:20:08 MDT)

Codrin Pruteanu
Re: Question about Cudd_bddExistAbstract (Wed May 01 2002 - 04:27:26 MDT)

Re: Hello from Ottawa (Canada) (Thu Jan 24 2002 - 00:43:00 MST)

Question about vl2mv (Sun Nov 18 2001 - 05:35:53 MST)

Dave Donofrio
Call for Papers (Mon Feb 12 2001 - 21:52:40 MST)

Dinesh Bhati
Re: Handling Asynchronous signals (Sat Nov 17 2001 - 23:12:29 MST)

Handling asynchronous signals (Sat Nov 17 2001 - 23:21:51 MST)

(no subject) (Tue Feb 13 2001 - 01:22:09 MST)

Dominique Borrione
Usage of VIS (Wed Oct 11 2000 - 09:29:01 MDT)

Douwe Sikkema
(no subject) (Fri Dec 21 2001 - 10:40:09 MST)

Emil
Re: About the use of vl2mv (Tue Jul 02 2002 - 06:10:12 MDT)

Re: Doubt (Fri Apr 05 2002 - 05:16:38 MST)

Re: ZBDD support (Wed Mar 20 2002 - 02:06:40 MST)

ZBDD support (Tue Mar 19 2002 - 04:39:05 MST)

Etienne K. Ogoubi
Re: Hello from Ottawa (Canada) (Sun Jan 27 2002 - 06:08:28 MST)

Hello from Ottawa (Canada) (Wed Jan 23 2002 - 17:53:18 MST)

Fabio Somenzi
Re: Initial state and check_invariant (Mon Jul 08 2002 - 15:03:59 MDT)

Re: More about the use of approximate_model_check (Mon Jun 24 2002 - 10:20:07 MDT)

Re: Needing for more information about counter examples in approximate model checking (Tue May 28 2002 - 10:30:53 MDT)

Re: [Fwd: "VIS Optimization Question"] (Tue May 28 2002 - 10:23:40 MDT)

Re: Uninitialized variable in VIS 1.4 distribution? (Wed May 22 2002 - 08:08:22 MDT)

Re: "VIS Optimization Question" (Tue May 21 2002 - 12:00:38 MDT)

Re: Question about Cudd_bddExistAbstract (Wed May 01 2002 - 08:35:26 MDT)

Re: Doubt (Fri Apr 05 2002 - 11:22:12 MST)

Re: Doubt (Fri Apr 05 2002 - 00:40:00 MST)

Re: ZBDD support (Wed Mar 20 2002 - 07:40:54 MST)

Re: ZBDD support (Tue Mar 19 2002 - 22:08:21 MST)

Re: VIS: pseudo-inputs, primary-inputs and clock (Wed Mar 13 2002 - 13:30:29 MST)

Re: VIS: pseudo-inputs, primary-inputs and clock (Wed Mar 13 2002 - 01:09:20 MST)

Re: Details on the 'invariant-formula' algorithm (Tue Mar 05 2002 - 12:23:35 MST)

Re: VIS Makefile Errors? (Wed Oct 31 2001 - 13:57:51 MST)

Language Emptiness (Mon Sep 24 2001 - 11:54:03 MDT)

Re: grant mechanism produces segfault (Tue Aug 28 2001 - 10:00:29 MDT)

Re: can u help me in drawing the state diagrams (Tue Aug 28 2001 - 08:12:10 MDT)

Undeclared Variable (Tue Aug 28 2001 - 06:46:23 MDT)

Re: Need of Language Containment (Mon Aug 27 2001 - 14:16:16 MDT)

Re: MEMORY (Mon Aug 13 2001 - 09:48:50 MDT)

Re: MEMORY (Mon Aug 13 2001 - 09:26:13 MDT)

Re: VIS-1.4: Downloading Problems (Mon Jun 25 2001 - 08:12:32 MDT)

Re: Multiple files. (Fri Jun 22 2001 - 11:00:14 MDT)

Re: edif2blif (Fri Jun 08 2001 - 14:16:36 MDT)

Reachability (Wed Jun 06 2001 - 12:07:07 MDT)

Re: bug in .../glu-1.4/src/avl/avl.c (Wed Jun 06 2001 - 11:41:25 MDT)

How Reachability Helps Model Checking (Sat Jun 02 2001 - 09:35:21 MDT)

Re: Problem. (Thu May 31 2001 - 11:26:36 MDT)

Re: Reducing time taken to evaluate a property (Mon May 28 2001 - 14:09:31 MDT)

Removing State Variables (Sat May 26 2001 - 15:44:16 MDT)

Re: fairness constraint (Thu May 24 2001 - 13:09:28 MDT)

Re: about "eisenberg" in VIS (Thu May 24 2001 - 12:52:56 MDT)

Print Commands in VIS (Sun May 20 2001 - 16:19:52 MDT)

Re: Problem in VIS- compiling. (Mon Feb 12 2001 - 22:46:26 MST)

Re: Problem in VIS- compiling. (Mon Feb 12 2001 - 19:20:54 MST)

Re: vl2mv under cygwin (Mon Aug 21 2000 - 09:56:03 MDT)

Re: MDDs vs. BDDs (Wed Jun 21 2000 - 11:17:59 MDT)

Re: comb_verify command (Wed Jun 21 2000 - 10:47:11 MDT)

Re: running VIS in batch mode (Wed Mar 22 2000 - 13:25:32 MST)

Fang Wang
lang-empty problem (Wed Feb 20 2002 - 19:12:55 MST)

vis automata-based approach to model checking (Thu May 31 2001 - 09:39:46 MDT)

Flavio Miana
Re: VIS: pseudo-inputs, primary-inputs and clock (Wed Apr 10 2002 - 18:12:49 MDT)

Re: ZBDD support (Wed Apr 10 2002 - 18:06:38 MDT)

Re: Syntax error (Sun Jan 13 2002 - 08:41:08 MST)

Frank Neumann
Partitioned BDDs / VIS (Mon Jun 12 2000 - 15:21:47 MDT)

Friedemann Bitsch
vl2mv under cygwin (Thu Aug 17 2000 - 05:41:02 MDT)

(no subject) (Tue Aug 15 2000 - 02:20:50 MDT)

Windows NT4.0 (Wed Jun 28 2000 - 08:32:31 MDT)

G.Y. Narayanan
CfP for ICCC2002 (Mon Apr 08 2002 - 23:18:37 MDT)

Guang Qu
about "eisenberg" in VIS (Wed May 23 2001 - 16:53:24 MDT)

hadi afshar
vl2mv converter problem! (Sat Jun 08 2002 - 12:27:21 MDT)

"VIS Optimization Question" (Tue May 21 2002 - 11:28:33 MDT)

Hartmut Wittke
[Fwd: "VIS Optimization Question"] (Tue May 28 2002 - 09:34:11 MDT)

hema malini
Help!! (Sun Feb 17 2002 - 21:34:42 MST)

Hess Hodge
Re: VIS: pseudo-inputs, primary-inputs and clock (Wed Mar 13 2002 - 13:02:45 MST)

VIS: pseudo-inputs, primary-inputs and clock (Tue Mar 12 2002 - 15:37:48 MST)

I.D. Chan
sis in linux (Wed Jun 07 2000 - 20:38:54 MDT)

subscribe (Wed Jun 07 2000 - 20:29:11 MDT)

In-Ho Moon
Re: time-out with synthesize_network (Wed Apr 03 2002 - 22:07:57 MST)

Re: VIS Pl. help (Mon Jul 17 2000 - 11:09:07 MDT)

Re: Partitioned BDDs / VIS (Mon Jun 12 2000 - 15:49:40 MDT)

info@sim2001.com
17-21 Juni: SIMULATION TRADE FAIR FREIBURG, Germany (Thu May 31 2001 - 03:45:32 MDT)

Jean-Luc Mercadier
Initial state and check_invariant (Mon Jul 08 2002 - 08:57:44 MDT)

About the use of vl2mv (Tue Jul 02 2002 - 06:39:28 MDT)

About the use of vl2mv (Tue Jul 02 2002 - 06:37:15 MDT)

More about the use of approximate_model_check (Mon Jun 24 2002 - 10:40:16 MDT)

Use of approximate_model_check (Mon Jun 24 2002 - 03:11:24 MDT)

Needing for more information about counter examples in approximate model checking (Tue May 28 2002 - 06:26:22 MDT)

Jian-Bang Lu
benchmark help ! (Mon Nov 06 2000 - 09:31:31 MST)

Jin Hou
Formula cannot be passed (Wed Apr 05 2000 - 20:15:21 MDT)

Justin E. Harlow III
comb_verify command (Wed Jun 21 2000 - 10:25:27 MDT)

K T Oommen Tharakan(99407703)
VIS-HELP (fwd) (Mon Nov 13 2000 - 08:23:09 MST)

Usage of VIS (fwd) (Tue Oct 10 2000 - 23:53:44 MDT)

Kathi Fisler
Re: Seeking advice on oddities in VIS installation process (Sat Nov 25 2000 - 06:18:22 MST)

Seeking advice on oddities in VIS installation process (Fri Nov 24 2000 - 06:56:32 MST)

Kenshu Seto
Re: Bug in VIS (Sat Dec 15 2001 - 16:11:25 MST)

Counter-examples by approximation approach (Sun Nov 25 2001 - 08:30:42 MST)

Krishnan Palaniswami
erros during compilation (Wed Jun 28 2000 - 16:26:53 MDT)

Laurent Arditi
Bug in VIS (Wed Jun 27 2001 - 06:22:51 MDT)

Reading counter-examples (Tue Jun 26 2001 - 08:23:45 MDT)

Using CTL formula involving non constant or latch signals (Mon May 21 2001 - 10:03:24 MDT)

Look At This
Are YOU looking for a new website, to develop an existing website, for cheaper hosting or domain names? (Sat Jan 26 2002 - 05:22:07 MST)

M.Kimura
Getting VIS1.4 (Thu May 31 2001 - 05:48:16 MDT)

M.N.S.Shahjahan
Re: Problem in VIS- compiling. (Mon Feb 12 2001 - 20:39:57 MST)

Re: Problem in VIS- compiling. (Mon Feb 12 2001 - 18:54:30 MST)

Re: Problem in VIS- compiling. (Wed Feb 07 2001 - 17:09:39 MST)

Malay K Ganai
Re: simulate problem (Tue Aug 01 2000 - 17:11:12 MDT)

Malay Kumar Ganai
Re: benchmark help ! (Mon Nov 06 2000 - 19:34:50 MST)

Mario Escobar
Using comb_verify and latches. (Thu Jun 14 2001 - 08:54:56 MDT)

edif2blif (Fri Jun 08 2001 - 09:29:40 MDT)

mmcald@tin.it
SIS compilation (Tue May 28 2002 - 05:40:13 MDT)

Nayan Chandak
compilation/installation problem in sis (Fri Mar 29 2002 - 14:10:05 MST)

Neelima Varakantham
can u help me in drawing the state diagrams (Tue Aug 21 2001 - 11:56:28 MDT)

Request for download link. (Fri Aug 10 2001 - 13:33:27 MDT)

Neeraj Joshi
Getting vl2mv 1.0 or later version (Mon Nov 27 2000 - 18:54:15 MST)

New Books
A New Book on India (Sun Jul 29 2001 - 11:40:36 MDT)

office@tangfeng.org
Beijing Tangfeng Culture Exchange Centre (Mon Oct 15 2001 - 01:03:09 MDT)

P Prahallada Reddy mt ee
doubt! (Fri Nov 17 2000 - 13:44:43 MST)

Re: Help! VIS (Wed Nov 15 2000 - 05:00:42 MST)

P.K. Pandya
VIS Pl. help (Fri Jul 14 2000 - 04:31:31 MDT)

Paritosh Pandya
Announcing an extension of VIS model checking to CTL with past + timing (Thu Dec 07 2000 - 22:57:49 MST)

prahallad
help! (Tue Nov 07 2000 - 00:58:39 MST)

pralhad
(no subject) (Sat Dec 15 2001 - 12:24:24 MST)

Rainer Dorsch
Re: VIS and Linux (Sun Nov 26 2000 - 09:29:58 MST)

VIS and Linux (Tue Sep 12 2000 - 09:32:43 MDT)

Re: simulate problem (Wed Aug 02 2000 - 10:00:17 MDT)

Re:simulate problem (Wed Aug 02 2000 - 09:35:56 MDT)

Re: simulate problem (Wed Aug 02 2000 - 05:34:11 MDT)

simulate problem (Tue Aug 01 2000 - 16:15:47 MDT)

MDDs vs. BDDs (Wed Jun 21 2000 - 08:11:39 MDT)

Rajanikant Mohan
Remove (Mon Feb 11 2002 - 10:02:40 MST)

edif2blif installatioon problems (Sat Jun 30 2001 - 14:09:28 MDT)

Rajeev Ranjan
Re: TLC implementation in FPGA (Wed Jul 25 2001 - 11:25:45 MDT)

Raul Ruiz
VIS Makefile Errors? (Wed Oct 31 2001 - 08:57:47 MST)

Ray, Rajarshi
Problems with the VIS (Thu Jan 11 2001 - 16:46:01 MST)

Robert Brayton
Fw: Can you help me ... (Mon Jun 04 2001 - 13:37:07 MDT)

Robert J Clarke
(no subject) (Fri Nov 30 2001 - 21:36:45 MST)

Roderick Bloem
Re: run VIS (Tue May 21 2002 - 01:21:04 MDT)

Re: download (Tue May 14 2002 - 00:55:49 MDT)

Re: lang-empty problem (Thu Feb 21 2002 - 01:52:45 MST)

Re: Help!! (Mon Feb 18 2002 - 04:14:21 MST)

Re: Handling asynchronous signals (Sun Nov 18 2001 - 09:18:55 MST)

Re: Handling Asynchronous signals (Mon Oct 08 2001 - 09:29:09 MDT)

Re: synthesizable,but can't be flattened (Mon Oct 08 2001 - 09:20:26 MDT)

Re: cannot perform flatten herarchy (Thu Oct 04 2001 - 17:03:54 MDT)

Re: Request for download link. (Fri Aug 10 2001 - 14:05:24 MDT)

Re: TLC implementation in FPGA (Wed Jul 25 2001 - 09:51:14 MDT)

Re: VIS access (Wed Jul 25 2001 - 09:36:19 MDT)

Re: vl_mux.c (Mon Jul 02 2001 - 10:50:23 MDT)

Re: edif2blif installatioon problems (Mon Jul 02 2001 - 10:28:32 MDT)

Re: Fw: Can you help me ... (Mon Jul 02 2001 - 09:59:56 MDT)

Re: Bug in VIS (Fri Jun 29 2001 - 10:46:14 MDT)

Re: Bug in VIS (Wed Jun 27 2001 - 11:41:54 MDT)

Re: Multiple files. (Fri Jun 22 2001 - 09:38:04 MDT)

Re: Problem with counter (Mon Jun 11 2001 - 10:24:50 MDT)

Re: vis automata-based approach to model checking (Thu May 31 2001 - 10:17:35 MDT)

Re: Problem. (Thu May 31 2001 - 10:01:05 MDT)

Re: Getting VIS1.4 (Thu May 31 2001 - 09:54:43 MDT)

Fsm depth and parity (Mon May 28 2001 - 09:15:54 MDT)

Counterexamples and inputs (Fri May 25 2001 - 09:33:56 MDT)

Re: (Tue May 22 2001 - 09:37:08 MDT)

Re: (Tue May 22 2001 - 09:28:59 MDT)

Re: Using CTL formula involving non constant or latch signals (Mon May 21 2001 - 10:28:40 MDT)

Re: memory (Mon May 21 2001 - 09:22:20 MDT)

Re: Vis 1.4 release (Fri May 18 2001 - 11:32:09 MDT)

Re: Problem in VIS- compiling. (Thu Mar 01 2001 - 11:34:16 MST)

Re: Paper about VIS ? (Wed Feb 14 2001 - 15:54:23 MST)

Re: (Wed Feb 14 2001 - 15:49:54 MST)

Re: (Tue Feb 13 2001 - 09:42:12 MST)

Re: Problem in VIS- compiling. (Thu Feb 08 2001 - 11:29:33 MST)

Re: Problem in VIS- compiling. (Wed Feb 07 2001 - 18:31:53 MST)

Re: Seeking advice on oddities in VIS installation process (Wed Feb 07 2001 - 18:29:38 MST)

Re: How to invoke the debugger? (Mon Jan 15 2001 - 21:32:53 MST)

Re: Problems with the VIS (Thu Jan 11 2001 - 19:15:13 MST)

Re: ever9@hanmail.net (Mon Jan 08 2001 - 09:05:43 MST)

Re: Getting vl2mv 1.0 or later version (Thu Nov 30 2000 - 03:16:48 MST)

Re: Seeking advice on oddities in VIS installation process (Thu Nov 30 2000 - 03:10:27 MST)

Re: Seeking advice on oddities in VIS installation process (Fri Nov 24 2000 - 10:16:29 MST)

Re: doubt! (Sun Nov 19 2000 - 08:36:16 MST)

Re: VIS-HELP (fwd) (Tue Nov 14 2000 - 09:44:06 MST)

Re: Help! VIS (Thu Nov 09 2000 - 10:46:27 MST)

Re: help! (Thu Nov 09 2000 - 04:46:38 MST)

Re: Usage of VIS (fwd) (Wed Oct 11 2000 - 01:40:05 MDT)

Re: copyright policy for VIS and SIS (Fri Oct 06 2000 - 01:49:56 MDT)

Re: (Mon Aug 21 2000 - 01:19:57 MDT)

Re: simulate problem (Thu Aug 03 2000 - 03:13:54 MDT)

Re: work-around for non-blocking assignments (Thu Aug 03 2000 - 02:31:08 MDT)

Re: simulate problem (Thu Aug 03 2000 - 02:03:23 MDT)

Re: simulate problem (Wed Aug 02 2000 - 06:43:56 MDT)

Re: simulate problem (Wed Aug 02 2000 - 06:37:19 MDT)

Re: simulate problem (Wed Aug 02 2000 - 02:22:13 MDT)

Re: erros during compilation (Mon Jul 03 2000 - 03:56:17 MDT)

Re: vl2mv (Mon Jul 03 2000 - 02:54:05 MDT)

Re: subscribe (Thu Jun 08 2000 - 01:26:31 MDT)

Re: ask (Tue Apr 11 2000 - 09:51:33 MDT)

Re: Formula cannot be passed (Thu Apr 06 2000 - 09:59:43 MDT)

Re: Problem in Vis (Mon Apr 03 2000 - 09:59:09 MDT)

Re: (no subject) (Thu Mar 23 2000 - 15:22:13 MST)

Re: vl2mv (Thu Mar 23 2000 - 15:19:18 MST)

Welcome! (Thu Mar 16 2000 - 11:11:21 MST)

Sampath
Re: Help!! (Mon Feb 18 2002 - 13:18:54 MST)

Samuel DELLACHERIE
Re: time-out with synthesize_network (Wed Apr 03 2002 - 23:59:27 MST)

time-out with synthesize_network (Tue Apr 02 2002 - 07:42:51 MST)

copyright policy for VIS and SIS (Thu Oct 05 2000 - 09:45:15 MDT)

Shadi Ammouri
vl2mv (Wed Mar 22 2000 - 02:36:31 MST)

Sherief Reda
writing BLIF files! (Fri May 26 2000 - 05:40:52 MDT)

sllame
ask (Tue Apr 11 2000 - 02:12:15 MDT)

SouthworthEDA@aol.com
Re: [Fwd: "VIS Optimization Question"] (Wed May 29 2002 - 21:19:48 MDT)

Srikanth Jujjuru
help to convert C code to verilog or Vhdl (Wed Jul 31 2002 - 13:08:28 MDT)

Sriram Natarajan
vis ... mailing list .. subscribe.. (Mon Apr 17 2000 - 13:41:29 MDT)

SSDL Help
vl2mv (Tue Jun 27 2000 - 02:24:19 MDT)

Stefan Gossens
Paper about VIS ? (Wed Feb 14 2001 - 07:36:11 MST)

Stephan Wood
Logic Minimization using ESPRESSO software (Fri Jun 30 2000 - 17:08:35 MDT)

Steven Garrison
VIS access (Tue Jul 24 2001 - 17:49:57 MDT)

Sunil P. Khatri
(no subject) (Thu Aug 22 2002 - 14:32:07 MDT)

Re: copyright policy for VIS and SIS (Mon Oct 09 2000 - 17:35:56 MDT)

Re: Logic Minimization using ESPRESSO software (Sat Jul 01 2000 - 15:59:01 MDT)

Re: sis in linux (Thu Jun 08 2000 - 00:23:47 MDT)

Re: writing BLIF files! (Wed Jun 07 2000 - 13:12:51 MDT)

Re: Writing blif file (Sun Apr 16 2000 - 23:41:43 MDT)

Tim Tuan
Re: simulate problem (Thu Aug 03 2000 - 02:58:55 MDT)

work-around for non-blocking assignments (Wed Aug 02 2000 - 17:05:21 MDT)

Tobe Toben
grant mechanism produces segfault (Mon Aug 27 2001 - 08:13:24 MDT)

Tobias Johannes Nopper
Re: VIS 2.0: Problem reading BLIF files (Thu Oct 03 2002 - 13:18:37 MDT)

Re: VIS 2.0: Problem reading BLIF files (Thu Oct 03 2002 - 10:55:21 MDT)

VIS 2.0: Problem reading BLIF files (Thu Oct 03 2002 - 08:50:00 MDT)

Tom Bienmueller
Re: Problem in VIS- compiling. (Thu Feb 08 2001 - 00:24:29 MST)

Re: Windows NT4.0 (Tue Sep 12 2000 - 11:32:17 MDT)

VIS and CareSets (Tue Sep 12 2000 - 00:36:46 MDT)

toshi isogai
Re:VIS Makefile Errors? (Wed Oct 31 2001 - 16:11:27 MST)

uday kiran
Writing blif file (Sun Apr 16 2000 - 13:41:18 MDT)

Problem in Vis (Mon Apr 03 2000 - 05:19:24 MDT)

United 4 Love
United 4 Love Call To Action. PLEASE READ. Send Letter to President Bush (Thu Nov 15 2001 - 16:58:50 MST)

vanessa goyal
Re: Doubt (Fri Apr 05 2002 - 03:55:43 MST)

Doubt (Fri Apr 05 2002 - 00:02:26 MST)

Syntax error (Wed Nov 21 2001 - 12:18:53 MST)

syntax error (Mon Nov 19 2001 - 13:54:39 MST)

synthesizable,but can't be flattened (Mon Oct 08 2001 - 04:38:17 MDT)

Handling Asynchronous signals (Mon Oct 08 2001 - 04:18:02 MDT)

(no subject) (Fri Oct 05 2001 - 18:19:36 MDT)

Error: cannot perform flatten hierarchy (Thu Sep 27 2001 - 14:52:51 MDT)

Versions of VL2MV (Mon Sep 24 2001 - 13:31:10 MDT)

(no subject) (Mon Sep 24 2001 - 11:06:41 MDT)

Desin can't be modified (Thu Aug 30 2001 - 02:23:55 MDT)

(no subject) (Tue Aug 28 2001 - 03:40:30 MDT)

Need of Language Containment (Sat Aug 25 2001 - 05:49:06 MDT)

MEMORY (Sun Aug 12 2001 - 05:48:57 MDT)

(no subject) (Sun Jun 03 2001 - 16:15:02 MDT)

Reducing time taken to evaluate a property (Mon May 28 2001 - 13:14:51 MDT)

(no subject) (Sat May 26 2001 - 12:35:00 MDT)

(no subject) (Thu May 24 2001 - 03:35:13 MDT)

fairness constraint (Thu May 24 2001 - 02:39:20 MDT)

(no subject) (Tue May 22 2001 - 05:09:01 MDT)

(no subject) (Sun May 20 2001 - 05:09:49 MDT)

Vijay D'silva
vl_mux.c (Mon Jul 02 2001 - 09:19:15 MDT)

Re: Problem. (Wed Jun 06 2001 - 04:00:04 MDT)

Problem. (Tue May 29 2001 - 02:00:47 MDT)

W.E. Dolman
Re: Are you Paying Too Much For Life Insurance? JRHNL (Wed Feb 06 2002 - 03:11:42 MST)

Wallace, David
Re: (Thu Aug 22 2002 - 15:49:12 MDT)

Looking for spfd_pilo examples... (Thu Aug 15 2002 - 19:16:36 MDT)

Uninitialized variable in VIS 1.4 distribution? (Tue May 21 2002 - 23:02:40 MDT)

Wang Chao
Re: Question about vl2mv (Sun Nov 18 2001 - 23:06:03 MST)

yuhong zhao
how to build bdds for a .blif file? (Tue Oct 09 2001 - 10:46:03 MDT)

Yuji Kukimoto
Re: MDDs vs. BDDs (Wed Jun 21 2000 - 11:58:29 MDT)

Zheng Tan
Re: Problem in VIS- compiling. (Thu Feb 08 2001 - 12:03:28 MST)

How to invoke the debugger? (Mon Jan 15 2001 - 20:05:40 MST)

±èÇü¿
I have a question about GLU... (Sat Sep 14 2002 - 03:42:47 MDT)

¾öÅÂÈ
ever9@hanmail.net (Thu Jan 04 2001 - 19:23:19 MST)

Last message date: Thu Oct 03 2002 - 13:26:05 MDT
Archived on: Thu Oct 03 2002 - 13:26:07 MDT

287 messages sorted by: [ date ] [ thread ] [ subject ]
Mail actions: [ mail a new topic ]

This archive was generated by hypermail 2b30 : Thu Oct 03 2002 - 13:26:07 MDT

Verification Interacting with Synthesis -- Users' Mailing List ArchiveBy Author

Verification Interacting with Synthesis -- Users' Mailing List Archive
By Author