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

For messages since 2003, please click here!

Most recent messages
287 messages sorted by: [ author ] [ date ] [ 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

Welcome! Roderick Bloem (Thu Mar 16 2000 - 11:11:21 MST)
(no subject) Abdelillah Mokkedem (Thu Mar 16 2000 - 13:55:16 MST)

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

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

Re: Roderick Bloem (Wed Feb 14 2001 - 15:49:54 MST)
Re: Roderick Bloem (Tue May 22 2001 - 09:28:59 MDT)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(no subject) vanessa goyal (Fri Oct 05 2001 - 18:19:36 MDT)
(no subject) Robert J Clarke (Fri Nov 30 2001 - 21:36:45 MST)
(no subject) pralhad (Sat Dec 15 2001 - 12:24:24 MST)
(no subject) Douwe Sikkema (Fri Dec 21 2001 - 10:40:09 MST)
(no subject) Sunil P. Khatri (Thu Aug 22 2002 - 14:32:07 MDT)

Re: (no subject) Roderick Bloem (Thu Mar 23 2000 - 15:22:13 MST)
Re: Wallace, David (Thu Aug 22 2002 - 15:49:12 MDT)

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

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

Re: vl2mv Roderick Bloem (Thu Mar 23 2000 - 15:19:18 MST)
Re: vl2mv Roderick Bloem (Mon Jul 03 2000 - 02:54:05 MDT)

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

Re: running VIS in batch mode Balakrishna Kumthekar (Wed Mar 22 2000 - 11:46:59 MST)
Re: running VIS in batch mode Balakrishna Kumthekar (Wed Mar 22 2000 - 12:01:40 MST)
Re: running VIS in batch mode Fabio Somenzi (Wed Mar 22 2000 - 13:25:32 MST)

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

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

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

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

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

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

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

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

vis ... mailing list .. subscribe.. Sriram Natarajan (Mon Apr 17 2000 - 13:41:29 MDT)
writing BLIF files! Sherief Reda (Fri May 26 2000 - 05:40:52 MDT)

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

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

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

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

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

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

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

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

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

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

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

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

How was it Abelardo Pardo (Wed Jun 21 2000 - 10:49:13 MDT)
Windows NT4.0 Friedemann Bitsch (Wed Jun 28 2000 - 08:32:31 MDT)

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

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

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

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

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

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

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

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

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

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

Re: simulate problem Roderick Bloem (Wed Aug 02 2000 - 02:22:13 MDT)
Re: simulate problem Rainer Dorsch (Wed Aug 02 2000 - 05:34:11 MDT)

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

Re:simulate problem Rainer Dorsch (Wed Aug 02 2000 - 09:35:56 MDT)
Re: simulate problem Rainer Dorsch (Wed Aug 02 2000 - 10:00:17 MDT)

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

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

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

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

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

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

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

VIS and CareSets Tom Bienmueller (Tue Sep 12 2000 - 00:36:46 MDT)
VIS and Linux Rainer Dorsch (Tue Sep 12 2000 - 09:32:43 MDT)

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

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

Re: copyright policy for VIS and SIS Roderick Bloem (Fri Oct 06 2000 - 01:49:56 MDT)
Re: copyright policy for VIS and SIS Sunil P. Khatri (Mon Oct 09 2000 - 17:35:56 MDT)

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

Re: Usage of VIS (fwd) Roderick Bloem (Wed Oct 11 2000 - 01:40:05 MDT)
Usage of VIS Dominique Borrione (Wed Oct 11 2000 - 09:29:01 MDT)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Announcing an extension of VIS model checking to CTL with past + timing Paritosh Pandya (Thu Dec 07 2000 - 22:57:49 MST)
ever9@hanmail.net �� (Thu Jan 04 2001 - 19:23:19 MST)

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

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

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

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

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

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

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

Re: Problem in VIS- compiling. Tom Bienmueller (Thu Feb 08 2001 - 00:24:29 MST)
Re: Problem in VIS- compiling. M.N.S.Shahjahan (Mon Feb 12 2001 - 18:54:30 MST)

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

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

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

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

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

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

Call for Papers Dave Donofrio (Mon Feb 12 2001 - 21:52:40 MST)
Paper about VIS ? Stefan Gossens (Wed Feb 14 2001 - 07:36:11 MST)

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

Re: Vis 1.4 release Roderick Bloem (Fri May 18 2001 - 11:32:09 MDT)
memory a a (Mon May 21 2001 - 03:43:39 MDT)

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

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

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

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

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

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

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

Fsm depth and parity Roderick Bloem (Mon May 28 2001 - 09:15:54 MDT)
Reducing time taken to evaluate a property vanessa goyal (Mon May 28 2001 - 13:14:51 MDT)

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

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

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

Re: Problem. Fabio Somenzi (Thu May 31 2001 - 11:26:36 MDT)
Re: Problem. Vijay D'silva (Wed Jun 06 2001 - 04:00:04 MDT)

17-21 Juni: SIMULATION TRADE FAIR FREIBURG, Germany info@sim2001.com (Thu May 31 2001 - 03:45:32 MDT)
Getting VIS1.4 M.Kimura (Thu May 31 2001 - 05:48:16 MDT)

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

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

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

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

How Reachability Helps Model Checking Fabio Somenzi (Sat Jun 02 2001 - 09:35:21 MDT)
Fw: Can you help me ... Robert Brayton (Mon Jun 04 2001 - 13:37:07 MDT)

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

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

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

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

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

Re: Problem with counter Roderick Bloem (Mon Jun 11 2001 - 10:24:50 MDT)
Using comb_verify and latches. Mario Escobar (Thu Jun 14 2001 - 08:54:56 MDT)
Downloading Problems Andreas Andrick (Tue Jun 19 2001 - 11:16:45 MDT)

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

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

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

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

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

Reading counter-examples Laurent Arditi (Tue Jun 26 2001 - 08:23:45 MDT)
Bug in VIS Laurent Arditi (Wed Jun 27 2001 - 06:22:51 MDT)

Re: Bug in VIS Roderick Bloem (Wed Jun 27 2001 - 11:41:54 MDT)
Re: Bug in VIS Roderick Bloem (Fri Jun 29 2001 - 10:46:14 MDT)
Re: Bug in VIS Kenshu Seto (Sat Dec 15 2001 - 16:11:25 MST)

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

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

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

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

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

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

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

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

A New Book on India New Books (Sun Jul 29 2001 - 11:40:36 MDT)
Request for download link. Neelima Varakantham (Fri Aug 10 2001 - 13:33:27 MDT)

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

URGENT CALL FOR HELP ABU.ABACHA@edgar.colorado.edu (Sat Aug 11 2001 - 17:09:20 MDT)
MEMORY vanessa goyal (Sun Aug 12 2001 - 05:48:57 MDT)

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

Fw: 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 Neelima Varakantham (Tue Aug 21 2001 - 11:56:28 MDT)

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

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

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

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

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

Desin can't be modified vanessa goyal (Thu Aug 30 2001 - 02:23:55 MDT)
Versions of VL2MV vanessa goyal (Mon Sep 24 2001 - 13:31:10 MDT)
Error: cannot perform flatten hierarchy vanessa goyal (Thu Sep 27 2001 - 14:52:51 MDT)
Re: cannot perform flatten herarchy Roderick Bloem (Thu Oct 04 2001 - 17:03:54 MDT)
Handling Asynchronous signals vanessa goyal (Mon Oct 08 2001 - 04:18:02 MDT)

Re: Handling Asynchronous signals Roderick Bloem (Mon Oct 08 2001 - 09:29:09 MDT)
Re: Handling Asynchronous signals Dinesh Bhati (Sat Nov 17 2001 - 23:12:29 MST)

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

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

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

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

how to build bdds for a .blif file? yuhong zhao (Tue Oct 09 2001 - 10:46:03 MDT)
VIS Makefile Errors? Raul Ruiz (Wed Oct 31 2001 - 08:57:47 MST)

Re: VIS Makefile Errors? Fabio Somenzi (Wed Oct 31 2001 - 13:57:51 MST)
Re:VIS Makefile Errors? toshi isogai (Wed Oct 31 2001 - 16:11:27 MST)

United 4 Love Call To Action. PLEASE READ. Send Letter to President Bush United 4 Love (Thu Nov 15 2001 - 16:58:50 MST)
Handling asynchronous signals Dinesh Bhati (Sat Nov 17 2001 - 23:21:51 MST)

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

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

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

syntax error vanessa goyal (Mon Nov 19 2001 - 13:54:39 MST)
Syntax error vanessa goyal (Wed Nov 21 2001 - 12:18:53 MST)

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

Counter-examples by approximation approach Kenshu Seto (Sun Nov 25 2001 - 08:30:42 MST)
Hello from Ottawa (Canada) Etienne K. Ogoubi (Wed Jan 23 2002 - 17:53:18 MST)

Re: Hello from Ottawa (Canada) Codrin PRUTEANU (Thu Jan 24 2002 - 00:43:00 MST)
Re: Hello from Ottawa (Canada) Etienne K. Ogoubi (Sun Jan 27 2002 - 06:08:28 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)
Re: Are you Paying Too Much For Life Insurance? JRHNL W.E. Dolman (Wed Feb 06 2002 - 03:11:42 MST)
Remove Rajanikant Mohan (Mon Feb 11 2002 - 10:02:40 MST)
Help!! hema malini (Sun Feb 17 2002 - 21:34:42 MST)

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

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

compiling error under linux Alexander G. Haley (Mon Feb 18 2002 - 20:50:12 MST)
lang-empty problem Fang Wang (Wed Feb 20 2002 - 19:12:55 MST)

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

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

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

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

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

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

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

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

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

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

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

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

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

compilation/installation problem in sis Nayan Chandak (Fri Mar 29 2002 - 14:10:05 MST)
time-out with synthesize_network Samuel DELLACHERIE (Tue Apr 02 2002 - 07:42:51 MST)

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

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

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

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

Re: Doubt Emil (Fri Apr 05 2002 - 05:16:38 MST)
Re: Doubt Fabio Somenzi (Fri Apr 05 2002 - 11:22:12 MST)

CfP for ICCC2002 G.Y. Narayanan (Mon Apr 08 2002 - 23:18:37 MDT)
Re: Question about Cudd_bddExistAbstract Codrin Pruteanu (Wed May 01 2002 - 04:27:26 MDT)

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

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

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

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

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

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

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

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

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

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

SIS compilation mmcald@tin.it (Tue May 28 2002 - 05:40:13 MDT)
Needing for more information about counter examples in approximate model checking Jean-Luc Mercadier (Tue May 28 2002 - 06:26:22 MDT)

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

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

Re: [Fwd: "VIS Optimization Question"] Fabio Somenzi (Tue May 28 2002 - 10:23:40 MDT)
Re: [Fwd: "VIS Optimization Question"] SouthworthEDA@aol.com (Wed May 29 2002 - 21:19:48 MDT)

vl2mv.exe --------- shojai (Tue Jun 04 2002 - 05:22:38 MDT)
vl2mv converter problem! hadi afshar (Sat Jun 08 2002 - 12:27:21 MDT)
Use of approximate_model_check Jean-Luc Mercadier (Mon Jun 24 2002 - 03:11:24 MDT)
More about the use of approximate_model_check Jean-Luc Mercadier (Mon Jun 24 2002 - 10:40:16 MDT)

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

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

About the use of vl2mv Jean-Luc Mercadier (Tue Jul 02 2002 - 06:39:28 MDT)
Re: About the use of vl2mv Emil (Tue Jul 02 2002 - 06:10:12 MDT)

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

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

help to convert C code to verilog or Vhdl Srikanth Jujjuru (Wed Jul 31 2002 - 13:08:28 MDT)
Looking for spfd_pilo examples... Wallace, David (Thu Aug 15 2002 - 19:16:36 MDT)
new features of VIS Bertrand Gr�goire (Mon Aug 19 2002 - 04:37:47 MDT)
I have a question about GLU... �� (Sat Sep 14 2002 - 03:42:47 MDT)
VIS 2.0: Problem reading BLIF files Tobias Johannes Nopper (Thu Oct 03 2002 - 08:50:00 MDT)

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

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 ] [ subject ]
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 Thread

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