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

For messages since 2003, please click here!

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

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

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

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

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

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

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

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

hadi afshar (Tue May 21 2002 - 11:28:33 MDT)

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

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

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

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

vanessa goyal (Fri Oct 05 2001 - 18:19:36 MDT)

vanessa goyal (Mon Sep 24 2001 - 11:06:41 MDT)

vanessa goyal (Tue Aug 28 2001 - 03:40:30 MDT)

vanessa goyal (Sun Jun 03 2001 - 16:15:02 MDT)

vanessa goyal (Sat May 26 2001 - 12:35:00 MDT)

vanessa goyal (Thu May 24 2001 - 03:35:13 MDT)

vanessa goyal (Tue May 22 2001 - 05:09:01 MDT)

vanessa goyal (Sun May 20 2001 - 05:09:49 MDT)

Dinesh Bhati (Tue Feb 13 2001 - 01:22:09 MST)

Friedemann Bitsch (Tue Aug 15 2000 - 02:20:50 MDT)

Roderick Bloem (Thu Mar 23 2000 - 15:22:13 MST)

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

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

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

Fabio Somenzi (Tue May 28 2002 - 10:23:40 MDT)

Hartmut Wittke (Tue May 28 2002 - 09:34:11 MDT)

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

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

Guang Qu (Wed May 23 2001 - 16:53:24 MDT)

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

Jean-Luc Mercadier (Tue Jul 02 2002 - 06:39:28 MDT)

Jean-Luc Mercadier (Tue Jul 02 2002 - 06:37:15 MDT)

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

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

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

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

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

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

business1@tangfeng.org (Tue Oct 09 2001 - 01:21:48 MDT)

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

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

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

Alan Mishchenko (Tue Jun 05 2001 - 18:08:04 MDT)

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

Roderick Bloem (Fri Jun 29 2001 - 10:46:14 MDT)

Roderick Bloem (Wed Jun 27 2001 - 11:41:54 MDT)

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

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

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

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

Neelima Varakantham (Tue Aug 21 2001 - 11:56:28 MDT)

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

Robert Brayton (Mon Jun 04 2001 - 13:37:07 MDT)

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

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

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

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

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

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

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

copyright policy for VIS and SIS
Sunil P. Khatri (Mon Oct 09 2000 - 17:35:56 MDT)

Roderick Bloem (Fri Oct 06 2000 - 01:49:56 MDT)

Samuel Dellacherie (Thu Oct 05 2000 - 09:45:15 MDT)

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

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

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

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

Bertrand Grégoire (Tue Mar 05 2002 - 08:22:59 MST)

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

Emil (Fri Apr 05 2002 - 05:16:38 MST)

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

Fabio Somenzi (Fri Apr 05 2002 - 00:40:00 MST)

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

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

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

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

Roderick Bloem (Tue May 14 2002 - 00:55:49 MDT)

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

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

Andreas Andrick (Tue Jun 19 2001 - 11:16:45 MDT)

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

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

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

Rajanikant Mohan (Sat Jun 30 2001 - 14:09:28 MDT)

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

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

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

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

¾öÅÂÈ (Thu Jan 04 2001 - 19:23:19 MST)

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

vanessa goyal (Thu May 24 2001 - 02:39:20 MDT)

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

Jin Hou (Wed Apr 05 2000 - 20:15:21 MDT)

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

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

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

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

Neeraj Joshi (Mon Nov 27 2000 - 18:54:15 MST)

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

Tobe Toben (Mon Aug 27 2001 - 08:13:24 MDT)

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

Roderick Bloem (Sun Nov 18 2001 - 09:18:55 MST)

Dinesh Bhati (Sat Nov 17 2001 - 23:21:51 MST)

Roderick Bloem (Mon Oct 08 2001 - 09:29:09 MDT)

vanessa goyal (Mon Oct 08 2001 - 04:18:02 MDT)

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

Codrin PRUTEANU (Thu Jan 24 2002 - 00:43:00 MST)

Etienne K. Ogoubi (Wed Jan 23 2002 - 17:53:18 MST)

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

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

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

Help! VIS
P Prahallada Reddy mt ee (Wed Nov 15 2000 - 05:00:42 MST)

Roderick Bloem (Thu Nov 09 2000 - 10:46:27 MST)

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

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

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

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

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

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

Zheng Tan (Mon Jan 15 2001 - 20:05:40 MST)

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

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

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

Jean-Luc Mercadier (Mon Jul 08 2002 - 08:57:44 MDT)

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

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

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

Logic Minimization using ESPRESSO software
Sunil P. Khatri (Sat Jul 01 2000 - 15:59:01 MDT)

Stephan Wood (Fri Jun 30 2000 - 17:08:35 MDT)

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

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

Fabio Somenzi (Wed Jun 21 2000 - 11:17:59 MDT)

Rainer Dorsch (Wed Jun 21 2000 - 08:11:39 MDT)

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

Fabio Somenzi (Mon Aug 13 2001 - 09:26:13 MDT)

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

Roderick Bloem (Mon May 21 2001 - 09:22:20 MDT)

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

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

Jean-Luc Mercadier (Mon Jun 24 2002 - 10:40:16 MDT)

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

Roderick Bloem (Fri Jun 22 2001 - 09:38:04 MDT)

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

vanessa goyal (Sat Aug 25 2001 - 05:49:06 MDT)

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

Jean-Luc Mercadier (Tue May 28 2002 - 06:26:22 MDT)

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

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

Stefan Gossens (Wed Feb 14 2001 - 07:36:11 MST)

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

Frank Neumann (Mon Jun 12 2000 - 15:21:47 MDT)

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

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

uday kiran (Mon Apr 03 2000 - 05:19:24 MDT)

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

Fabio Somenzi (Mon Feb 12 2001 - 22:46:26 MST)

M.N.S.Shahjahan (Mon Feb 12 2001 - 20:39:57 MST)

Fabio Somenzi (Mon Feb 12 2001 - 19:20:54 MST)

M.N.S.Shahjahan (Mon Feb 12 2001 - 18:54:30 MST)

Zheng Tan (Thu Feb 08 2001 - 12:03:28 MST)

Roderick Bloem (Thu Feb 08 2001 - 11:29:33 MST)

Tom Bienmueller (Thu Feb 08 2001 - 00:24:29 MST)

Roderick Bloem (Wed Feb 07 2001 - 18:31:53 MST)

M.N.S.Shahjahan (Wed Feb 07 2001 - 17:09:39 MST)

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

Problem.
Vijay D'silva (Wed Jun 06 2001 - 04:00:04 MDT)

Fabio Somenzi (Thu May 31 2001 - 11:26:36 MDT)

Roderick Bloem (Thu May 31 2001 - 10:01:05 MDT)

Vijay D'silva (Tue May 29 2001 - 02:00:47 MDT)

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

Ray, Rajarshi (Thu Jan 11 2001 - 16:46:01 MST)

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

Codrin Pruteanu (Wed May 01 2002 - 04:27:26 MDT)

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

Codrin PRUTEANU (Sun Nov 18 2001 - 05:35:53 MST)

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

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

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

vanessa goyal (Mon May 28 2001 - 13:14:51 MDT)

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

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

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

Roderick Bloem (Fri Aug 10 2001 - 14:05:24 MDT)

Neelima Varakantham (Fri Aug 10 2001 - 13:33:27 MDT)

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

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

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

Balakrishna Kumthekar (Wed Mar 22 2000 - 12:01:40 MST)

Balakrishna Kumthekar (Wed Mar 22 2000 - 11:46:59 MST)

Aarti Gupta (Wed Mar 22 2000 - 11:31:48 MST)

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

Roderick Bloem (Thu Nov 30 2000 - 03:10:27 MST)

Kathi Fisler (Sat Nov 25 2000 - 06:18:22 MST)

Roderick Bloem (Fri Nov 24 2000 - 10:16:29 MST)

Kathi Fisler (Fri Nov 24 2000 - 06:56:32 MST)

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

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

Roderick Bloem (Thu Aug 03 2000 - 02:03:23 MDT)

Rainer Dorsch (Wed Aug 02 2000 - 10:00:17 MDT)

Rainer Dorsch (Wed Aug 02 2000 - 09:35:56 MDT)

Roderick Bloem (Wed Aug 02 2000 - 06:43:56 MDT)

Roderick Bloem (Wed Aug 02 2000 - 06:37:19 MDT)

Rainer Dorsch (Wed Aug 02 2000 - 05:34:11 MDT)

Roderick Bloem (Wed Aug 02 2000 - 02:22:13 MDT)

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

Rainer Dorsch (Tue Aug 01 2000 - 16:15:47 MDT)

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

sis in linux
Sunil P. Khatri (Thu Jun 08 2000 - 00:23:47 MDT)

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

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

I.D. Chan (Wed Jun 07 2000 - 20:29:11 MDT)

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

vanessa goyal (Wed Nov 21 2001 - 12:18:53 MST)

vanessa goyal (Mon Nov 19 2001 - 13:54:39 MST)

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

vanessa goyal (Mon Oct 08 2001 - 04:38:17 MDT)

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

In-Ho Moon (Wed Apr 03 2002 - 22:07:57 MST)

Samuel DELLACHERIE (Tue Apr 02 2002 - 07:42:51 MST)

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

Roderick Bloem (Wed Jul 25 2001 - 09:51:14 MDT)

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

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

Wallace, David (Tue May 21 2002 - 23:02:40 MDT)

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

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

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

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

K T Oommen Tharakan(99407703) (Tue Oct 10 2000 - 23:53:44 MDT)

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

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

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

Laurent Arditi (Mon May 21 2001 - 10:03:24 MDT)

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

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

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

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

Tobias Johannes Nopper (Thu Oct 03 2002 - 10:55:21 MDT)

Tobias Johannes Nopper (Thu Oct 03 2002 - 08:50:00 MDT)

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

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

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

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

Rainer Dorsch (Tue Sep 12 2000 - 09:32:43 MDT)

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

Chao Wang (Thu May 31 2001 - 10:20:08 MDT)

Fang Wang (Thu May 31 2001 - 09:39:46 MDT)

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

Fabio Somenzi (Wed Oct 31 2001 - 13:57:51 MST)

Raul Ruiz (Wed Oct 31 2001 - 08:57:47 MST)

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

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

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

Andreas Andrick (Mon Jun 25 2001 - 01:53:52 MDT)

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

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

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

Fabio Somenzi (Wed Mar 13 2002 - 13:30:29 MST)

Hess Hodge (Wed Mar 13 2002 - 13:02:45 MST)

Fabio Somenzi (Wed Mar 13 2002 - 01:09:20 MST)

Hess Hodge (Tue Mar 12 2002 - 15:37:48 MST)

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

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

Roderick Bloem (Thu Mar 23 2000 - 15:19:18 MST)

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

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

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

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

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

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

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

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

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

Friedemann Bitsch (Wed Jun 28 2000 - 08:32:31 MDT)

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

Tim Tuan (Wed Aug 02 2000 - 17:05:21 MDT)

Writing blif file
Sunil P. Khatri (Sun Apr 16 2000 - 23:41:43 MDT)

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

writing BLIF files!
Sunil P. Khatri (Wed Jun 07 2000 - 13:12:51 MDT)

Sherief Reda (Fri May 26 2000 - 05:40:52 MDT)

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

Fabio Somenzi (Wed Mar 20 2002 - 07:40:54 MST)

Emil (Wed Mar 20 2002 - 02:06:40 MST)

Fabio Somenzi (Tue Mar 19 2002 - 22:08:21 MST)

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

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

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

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

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

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