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

New Message Most recent messages
399 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Mail actions: [ mail a new topic ]

Starting: Sat Aug 30 2003 - 16:08:05 MDT
Ending: Fri Aug 15 2008 - 05:19:56 MDT

• TEST, after upgrading the mailing list archive system Chao Wang (Sat Aug 30 2003 - 16:04:50 MDT)
• Variable names for BDD indices Swarat Chaudhuri (Sun Sep 21 2003 - 16:52:12 MDT)
  • Re: Variable names for BDD indices Chao Wang (Sun Sep 21 2003 - 20:59:02 MDT)
• how can i download mdd and bdd package you use 022021074@fudan.edu.cn (Thu Oct 23 2003 - 01:50:10 MDT)
  • Re: how can i download mdd and bdd package you use Roderick Bloem (Thu Oct 23 2003 - 02:20:18 MDT)
  • Re: how can i download mdd and bdd package you use Chao Wang (Thu Oct 23 2003 - 12:19:19 MDT)
  • Re: how can i download mdd and bdd package you use Hamid Shojai (Sun Oct 26 2003 - 10:17:27 MST)
• vl2mv issue Dhammika Kurumbalapitiya (Mon Oct 27 2003 - 08:10:53 MST)
• VIS Installation for Windows ! Ray, Rajarshi (Mon Oct 27 2003 - 16:09:25 MST)
  • Re: VIS Installation for Windows ! Chao Wang (Mon Oct 27 2003 - 18:38:39 MST)
  • Re: VIS Installation for Windows ! Hamid Shojai (Tue Oct 28 2003 - 02:02:21 MST)
    • Re: VIS Installation for Windows ! Hamid Shojai (Tue Oct 28 2003 - 05:06:29 MST)
• vl2mv issue Dhammika Kurumbalapitiya (Tue Oct 28 2003 - 08:37:40 MST)
  • Re: vl2mv issue Chao Wang (Fri Oct 31 2003 - 11:40:46 MST)
  • Re: vl2mv issue Chao Wang (Fri Oct 31 2003 - 11:51:46 MST)
• how to represent 16-bit inputs Fang Wang (Mon Nov 03 2003 - 08:48:46 MST)
  • how to construct the BDD with many dc function Yimin Zhang (Tue Nov 04 2003 - 06:11:29 MST)
    • Re: how to construct the BDD with many dc function Chao Wang (Wed Nov 05 2003 - 01:29:39 MST)
    • Re: how to represent 16-bit inputs Chao Wang (Wed Nov 05 2003 - 01:42:39 MST)
• vis study 022021074_at_fudan.edu.cn (Thu Nov 06 2003 - 01:21:44 MST)
  • Reachability information Niklas Een (Sat Nov 08 2003 - 02:24:50 MST)
    • Re: Reachability information Chao Wang (Sat Nov 08 2003 - 10:41:14 MST)
• question on iscas89 benchmark 022021074_at_fudan.edu.cn (Mon Nov 24 2003 - 01:26:50 MST)
  • RE: question on iscas89 benchmark Charles Thangaraj (Mon Nov 24 2003 - 11:44:54 MST)
• vl2mv compilation problem with gcc3.3.1 Abhijit Das (Tue Nov 25 2003 - 10:09:47 MST)
• vl2mv-2.01 is available for download Chao Wang (Tue Jan 13 2004 - 15:13:18 MST)
  • hello Zijiang (James) Yang (Tue Jan 13 2004 - 18:45:31 MST)
    • Re: hello Francisco Javier Torres Valle (Tue Jan 13 2004 - 18:51:45 MST)
      • Re: hello Zaher S Andraus (Tue Jan 13 2004 - 19:03:54 MST)
      • Re: hello Zijiang (James) Yang (Tue Jan 13 2004 - 19:17:22 MST)
    • Re: hello wangc (Tue Jan 13 2004 - 19:05:59 MST)
• problem with "simulate" Cedric Roux (Tue Jan 20 2004 - 07:19:17 MST)
  • Re: problem with "simulate" Chao Wang (Tue Jan 20 2004 - 16:30:41 MST)
    • Re: problem with "simulate" Cedric Roux (Wed Jan 21 2004 - 04:35:17 MST)
      • Re: problem with "simulate" Chao Wang (Sun Jan 25 2004 - 11:29:40 MST)
• reductions in LTL model checking Fang Wang (Tue Jan 20 2004 - 14:45:14 MST)
  • Re: reductions in LTL model checking Chao Wang (Tue Jan 20 2004 - 15:51:34 MST)
• Best kept Google AdWords Secrets showing you how to earn thousands Adam Hines (Sat Feb 14 2004 - 03:01:51 MST)
• Here's a new twist on Affiliate programs Jaime Washington (Tue Feb 17 2004 - 14:17:04 MST)
• (no subject) Swarat Chaudhuri (Tue Mar 02 2004 - 14:26:13 MST)
• (no subject) 022021074_at_fudan.edu.cn (Tue Mar 02 2004 - 21:19:13 MST)
  • Re: your mail Chao Wang (Fri Mar 12 2004 - 00:25:03 MST)
• 隙葩:Re: your mail 022021074_at_fudan.edu.cn (Fri Mar 12 2004 - 06:04:40 MST)
• 隙葩:Re: your mail 022021074_at_fudan.edu.cn (Fri Mar 12 2004 - 06:55:41 MST)
• get the better job - buy a diploma today Stella Napier (Sat Mar 13 2004 - 15:00:33 MST)
• get the job you deserve with a university degree - no classes needed! Denis Parks (Mon Mar 15 2004 - 10:12:46 MST)
• Regarding including libraries in VHDL Ray, Rajarshi (Wed Mar 17 2004 - 11:16:33 MST)
• ltl_to_aut Vladimir Sipos (Tue Mar 23 2004 - 14:22:46 MST)
  • Re: ltl_to_aut Chao Wang (Thu Mar 25 2004 - 15:27:00 MST)
• You went to school and got no diploma? We can fix that... Cecil Kimble (Fri Mar 26 2004 - 08:52:59 MST)
• A problem with ltl-model-checking Fang Wang (Sat Mar 27 2004 - 08:26:05 MST)
• Finally, an affiliate program that works! Fritz Thorpe (Sat Mar 27 2004 - 22:24:16 MST)
• get the better job - buy a diploma today Truman Cardenas (Sun Mar 28 2004 - 09:20:41 MST)
• vis installing after reconstructing cygwin 022021074_at_fudan.edu.cn (Fri Apr 02 2004 - 06:09:25 MST)
• Your opinions are worth money Joan Bravo (Mon Apr 05 2004 - 05:02:11 MDT)
• Incomprehensive error message Zaher S Andraus (Thu Apr 08 2004 - 21:39:25 MDT)
  • Re: Incomprehensive error message Cedric Roux (Fri Apr 09 2004 - 04:08:28 MDT)
• simple front-end bug Gordon Zhang (Fri Apr 09 2004 - 13:10:56 MDT)
• Performace question Zaher S Andraus (Fri Apr 09 2004 - 14:51:39 MDT)
• compilation problem, and 2 general questions Zaher S Andraus (Sun Apr 11 2004 - 23:07:31 MDT)
• Own a Home? Get Cash Out - Rates are low! Reginald Shields (Mon Apr 12 2004 - 04:41:45 MDT)
• Problems in flatten_hierarchy Varun Varshney (Mon Apr 12 2004 - 08:42:00 MDT)
• This is a neat idea Susan Knight (Wed Apr 14 2004 - 16:19:00 MDT)
• trying to build vis2.0 on OS X Alberto Palacios Pawlovsky (Mon May 17 2004 - 19:42:23 MDT)
  • Re: trying to build vis2.0 on OS X Fabio Somenzi (Mon May 17 2004 - 21:33:12 MDT)
    • Re: trying to build vis2.0 on OS X Alberto Palacios Pawlovsky (Tue May 18 2004 - 03:10:50 MDT)
• Amazing Software Deals curse dissidents about 844 Bud Blankenship (Thu May 20 2004 - 05:09:12 MDT)
• cudd 2.4.0 and vis 2.0 Ilya Shlyakhter (Thu May 20 2004 - 13:38:21 MDT)
• About Your M[o]rtgage application Thad Hamilton (Thu Jun 03 2004 - 00:40:45 MDT)
• Congrats, You Qualify for our program Velma Seymour (Thu Jun 03 2004 - 06:21:49 MDT)
• dump to blif metalliqaz_at_fastmail.fm (Thu Jun 03 2004 - 13:33:38 MDT)
  • Re: dump to blif Fabio Somenzi (Thu Jun 03 2004 - 15:44:44 MDT)
    • Re: dump to blif metalliqaz_at_fastmail.fm (Thu Jun 03 2004 - 17:06:19 MDT)
      • Re: dump to blif Fabio Somenzi (Thu Jun 03 2004 - 17:18:03 MDT)
      • Re: dump to blif David Howland (Thu Jun 03 2004 - 20:39:32 MDT)
• help Fabio (Mon Jun 21 2004 - 10:26:34 MDT)
  • RE: help Charles Thangaraj (Mon Jun 21 2004 - 11:55:53 MDT)
    • ltl formula Fabio (Tue Jun 22 2004 - 15:45:44 MDT)
      • ltl formula (part 2) Fabio (Tue Jun 22 2004 - 15:49:57 MDT)
      • Re: ltl formula Fabio Somenzi (Tue Jun 22 2004 - 15:55:39 MDT)
      • bmc and "formula undecided" Fabio (Sun Jul 04 2004 - 10:35:09 MDT)
      • Re: bmc and "formula undecided" Fabio Somenzi (Mon Jul 05 2004 - 15:35:10 MDT)
    • bounded_model_check and counterexample Fabio (Sat Jul 10 2004 - 01:21:35 MDT)
      • edif2blif Fabio (Mon Jul 26 2004 - 05:52:24 MDT)
      • vis and edif Fabio (Mon Jul 26 2004 - 06:20:54 MDT)
  • Re: help Zaher S Andraus (Fri Jul 09 2004 - 21:03:00 MDT)
• Is there another way to walk around problem "Node ** is not driven only by latches and constants?" Li, Lun (Mon Jun 21 2004 - 13:55:51 MDT)
  • Re: Is there another way to walk around problem "Node ** is not driven only by latches and constants?" Fabio Somenzi (Mon Jun 21 2004 - 17:17:33 MDT)
• Incredible Software Deals unruly lebanon surjection Nicole Poe (Tue Jun 22 2004 - 22:48:28 MDT)
• print cnf of flattened network Fabio (Mon Jul 05 2004 - 14:34:07 MDT)
  • Re: print cnf of flattened network Fabio Somenzi (Mon Jul 05 2004 - 15:40:24 MDT)
• Calling check_inv several times Tom Bienmueller (Fri Jul 16 2004 - 09:26:39 MDT)
  • Re: Calling check_inv several times Chao Wang (Mon Jul 19 2004 - 14:45:07 MDT)
• Porting & Testing Volunteers for VIS-2.1 Chao Wang (Sat Jul 24 2004 - 12:04:07 MDT)
  • Re: Porting & Testing Volunteers for VIS-2.1 chc (Sun Jul 25 2004 - 20:53:20 MDT)
• ReguIar US Bank verification of the accounts. U.S. Bank (Sun Jul 25 2004 - 15:30:25 MDT)
• Blif-mv to Kripke? Roopak Sinha (Sun Aug 08 2004 - 20:48:41 MDT)
  • Re: Blif-mv to Kripke? Niklas Een (Mon Aug 09 2004 - 02:11:47 MDT)
• vis error: "Could not find node corresponding to the name" Korey LaMar Sewell (Thu Aug 12 2004 - 04:59:26 MDT)
  • Re: vis error: "Could not find node corresponding to the name" Fabio Somenzi (Thu Aug 12 2004 - 11:38:57 MDT)
• help need on using Cudd_FirstCube and Cudd_NextCube Li, Lun (Tue Aug 17 2004 - 13:19:58 MDT)
  • Re: help need on using Cudd_FirstCube and Cudd_NextCube Fabio Somenzi (Tue Aug 17 2004 - 15:03:40 MDT)
• valid input generation in seq_verify Junbeom Yoo (Tue Aug 24 2004 - 05:50:32 MDT)
  • Re: valid input generation in seq_verify Fabio Somenzi (Tue Aug 24 2004 - 10:39:23 MDT)
• when using Cudd_foreachCube to get a cube, what the order do the vars in cube follow, index or current level? Li, Lun (Tue Sep 07 2004 - 08:21:43 MDT)
• vis segfault, Cudd_bddPickOneMinterm Tobe Toben (Wed Sep 08 2004 - 13:16:33 MDT)
  • Re: vis segfault, Cudd_bddPickOneMinterm Fabio Somenzi (Thu Sep 09 2004 - 11:24:07 MDT)
• Graph traversal Moiz Khan (Thu Sep 09 2004 - 12:05:31 MDT)
  • Re: Graph traversal siddheshwar rathi (Thu Sep 09 2004 - 13:32:28 MDT)
    • RE: Graph traversal Moiz Khan (Thu Sep 09 2004 - 14:26:31 MDT)
• 想為家庭多增加收入! 富有生活_at_mx3.Colorado.EDU (Wed Sep 22 2004 - 20:20:22 MDT)
• changing DdNode structure luca gambardella (Mon Sep 27 2004 - 10:12:51 MDT)
  • Re: changing DdNode structure Fabio Somenzi (Mon Sep 27 2004 - 11:22:49 MDT)
  • RE: changing DdNode structure Shaker Sarwary (Mon Sep 27 2004 - 12:03:02 MDT)
• computing g*h luca gambardella (Thu Sep 30 2004 - 02:44:20 MDT)
  • Re: computing g*h Fabio Somenzi (Thu Sep 30 2004 - 09:48:45 MDT)
• computing g*h luca gambardella (Thu Sep 30 2004 - 02:56:12 MDT)
• I cannot read blif file R. Manitra (Thu Oct 07 2004 - 09:37:39 MDT)
  • RE: I cannot read blif file Graeme Cunningham (Thu Oct 07 2004 - 09:48:40 MDT)
    • Re: I cannot read blif file Solaiman Rahim (Thu Oct 07 2004 - 09:59:23 MDT)
      • Re: I cannot read blif file Fabio Somenzi (Thu Oct 07 2004 - 10:45:27 MDT)
      • Re: I cannot read blif file Solaiman Rahim (Thu Oct 07 2004 - 10:49:49 MDT)
      • Re: I cannot read blif file R. Manitra (Fri Oct 08 2004 - 06:47:02 MDT)
      • Re: I cannot read blif file Fabio Somenzi (Fri Oct 08 2004 - 10:37:25 MDT)
      • Re: I cannot read blif file Fabio Somenzi (Mon Oct 11 2004 - 17:30:30 MDT)
      • Re: I cannot read blif file R. Manitra (Wed Oct 13 2004 - 07:04:23 MDT)
      • Re: I cannot read blif file Solaiman Rahim (Wed Oct 13 2004 - 07:06:47 MDT)
• compiling CUDD luca gambardella (Fri Oct 08 2004 - 06:37:39 MDT)
• tab key and arrow keys fabio\.marcone\_at_libero\.it (Sun Oct 10 2004 - 04:49:20 MDT)
• changing cudd_zddCountMinterms luca gambardella (Mon Oct 11 2004 - 09:12:30 MDT)
  • Re: changing cudd_zddCountMinterms Fabio Somenzi (Mon Oct 11 2004 - 17:36:23 MDT)
• count_zdddoublestep luca gambardella (Tue Oct 12 2004 - 10:11:44 MDT)
• Any function that can transfer a MDD to BDD in VIS? Li, Lun (Sun Oct 17 2004 - 13:13:54 MDT)
  • Re: Any function that can transfer a MDD to BDD in VIS? Cedric Roux (Mon Oct 18 2004 - 03:44:12 MDT)
    • Re: Any function that can transfer a MDD to BDD in VIS? Fabio Somenzi (Mon Oct 18 2004 - 10:47:28 MDT)
  • Re: Any function that can transfer a MDD to BDD in VIS? Fabio Somenzi (Mon Oct 18 2004 - 10:35:58 MDT)
• building zdd luca gambardella (Mon Oct 18 2004 - 05:51:22 MDT)
• RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do. Li, Lun (Mon Oct 18 2004 - 07:45:01 MDT)
  • RE: About Questions of functions ttransferring a MDD to BDD in VIS --what I really want to do. Fabio Somenzi (Mon Oct 18 2004 - 11:07:40 MDT)
• Could VIS be used for under-approximation in reachabilibity analysis? Li, Lun (Thu Oct 21 2004 - 09:54:56 MDT)
• Request For VIS Examples BHARGAV (Sun Oct 24 2004 - 10:45:56 MDT)
• Verilog to dot Zaher S Andraus (Tue Oct 26 2004 - 19:18:04 MDT)
  • Re: Verilog to dot Shaun Feng (Tue Oct 26 2004 - 22:29:34 MDT)
    • Re: Verilog to dot Zaher S Andraus (Tue Oct 26 2004 - 22:39:47 MDT)
• IWSOC-Invitation Wael Badawy (Sun Oct 31 2004 - 22:04:40 MST)
• Error trace(counter example) generation Junbeom Yoo (Thu Nov 04 2004 - 22:15:54 MST)
• Problem with "seq_verify" counter-example trace. Junbeom Yoo (Wed Nov 10 2004 - 04:49:13 MST)
• how to turn off reachabilty analysis in model checking(without guided search)? Li, Lun (Thu Nov 18 2004 - 22:06:32 MST)
  • Re: how to turn off reachabilty analysis in model checking(without guided search)? Fabio Somenzi (Thu Nov 18 2004 - 23:20:38 MST)
• About coverage estimation of SMC XU Xing Wen (Fri Dec 03 2004 - 00:45:15 MST)
  • Re: About coverage estimation of SMC Fabio Somenzi (Fri Dec 03 2004 - 04:10:05 MST)
    • RE: About coverage estimation of SMC XU Xing Wen (Fri Dec 03 2004 - 23:20:35 MST)
• Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm" XU Xing Wen (Sat Dec 04 2004 - 01:11:34 MST)
  • Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm" tunlee_at_hotmail.com (Sat Dec 04 2004 - 05:58:37 MST)
    • RE: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm" Xingwen XU (Sat Dec 04 2004 - 07:19:06 MST)
• Cudd_OverApprox & Cudd_UnderApprox luca gambardella (Fri Dec 10 2004 - 03:31:21 MST)
  • Re: Cudd_OverApprox & Cudd_UnderApprox Fabio Somenzi (Fri Dec 10 2004 - 08:34:14 MST)
• input buffering hartmut wittke (Mon Dec 13 2004 - 10:47:14 MST)
  • RE: input buffering Xingwen\(Steven\) XU (Tue Dec 14 2004 - 08:14:10 MST)
• help: Cannot perform flatten_hierarchy Table a._n3345 is not deterministic Xingwen Xu (Sun Jan 23 2005 - 22:43:55 MST)
  • Re: help: Cannot perform flatten_hierarchy Table a._n3345 is not deterministic angela pappagallo (Tue Apr 12 2005 - 06:34:12 MDT)
    • Re: help: Cannot perform flatten_hierarchy Table a._n3345 is not deterministic Fabio Somenzi (Tue Apr 12 2005 - 12:53:45 MDT)
• help with the blif-mvs file format Adrian de Rivero (Thu Jan 27 2005 - 06:44:20 MST)
• VHDL frontend seetha_at_cse.iitb.ac.in (Sat Feb 12 2005 - 05:14:34 MST)
• Silly question about compilation Junkie Dolphin (Wed Feb 16 2005 - 13:22:54 MST)
  • Re: Silly question about compilation Fabio Somenzi (Wed Feb 16 2005 - 14:18:19 MST)
• Verilog -> CNF Zaher S Andraus (Thu Mar 10 2005 - 20:50:38 MST)
• Help about blif mv angela pappagallo (Fri Mar 18 2005 - 03:08:37 MST)
• Questions on BMC feature Qiang Qiang (Katherine) (Sat Apr 02 2005 - 11:24:13 MST)
• undecipherable parse error in LTL formula junkie\.dolphin\_at_libero\.it (Wed Apr 13 2005 - 09:31:24 MDT)
• ...! junkie\.dolphin\_at_libero\.it (Wed Apr 13 2005 - 09:35:56 MDT)
• A question about bounded model checking Junkie Dolphin (Tue Apr 19 2005 - 13:43:00 MDT)
  • Re: A question about bounded model checking Fabio Somenzi (Mon Apr 18 2005 - 14:01:27 MDT)
• (no subject) goparaju_at_engr.siu.edu (Mon Apr 25 2005 - 11:06:08 MDT)
• Is LTL a subset of ACTL*? Roopak Sinha (Mon Apr 25 2005 - 14:00:53 MDT)
  • Re: Is LTL a subset of ACTL*? Ian Harris (Mon Apr 25 2005 - 14:45:34 MDT)
    • Re: Is LTL a subset of ACTL*? Roopak Sinha (Mon Apr 25 2005 - 15:51:28 MDT)
• Cube detection using BDDs milir (Tue Apr 26 2005 - 09:59:14 MDT)
• status of vis Adnan Aziz (Thu Apr 28 2005 - 11:28:29 MDT)
  • Re: status of vis Fabio Somenzi (Thu Apr 28 2005 - 13:20:13 MDT)
• why check_invariant can be much faster than model_check for same property? Gaurav Agarwal (Fri Apr 29 2005 - 12:20:58 MDT)
  • Re: why check_invariant can be much faster than model_check for same property? Fabio Somenzi (Fri Apr 29 2005 - 13:00:09 MDT)
• Simulating verilog HDL using VIS Robert (Sat May 07 2005 - 00:09:23 MDT)
  • Re: Simulating verilog HDL using VIS tunlee_at_hotmail.com (Sat May 07 2005 - 04:54:11 MDT)
    • Re: Simulating verilog HDL using VIS Fabio Somenzi (Sat May 07 2005 - 08:19:08 MDT)
  • Re: Simulating verilog HDL using VIS Robert (Sat May 07 2005 - 14:15:24 MDT)
  • Re: Simulating verilog HDL using VIS Kusum Lata (Sun Apr 16 2006 - 03:24:55 MDT)
    • Re: Simulating verilog HDL using VIS Shrirang Yardi (Sun Apr 16 2006 - 10:22:27 MDT)
      • Re: Simulating verilog HDL using VIS Mohammad.R Kakoee (Sun Apr 16 2006 - 23:47:16 MDT)
• ISCAS2BLIF Najeeb K (Wed Jun 22 2005 - 10:49:44 MDT)
  • Re: ISCAS2BLIF Shaun Feng (Wed Jun 22 2005 - 11:33:57 MDT)
    • RE: ISCAS2BLIF Moiz Khan (Wed Jun 22 2005 - 11:50:41 MDT)
• ISCAS to BLIF (VPR) Najeeb K (Wed Jun 22 2005 - 10:51:59 MDT)
• Finding a Variable Ordering Rajsekhar Adapa (Wed Jun 22 2005 - 18:46:35 MDT)
  • Re: Finding a Variable Ordering Fabio Somenzi (Wed Jun 22 2005 - 20:31:04 MDT)
    • (no subject) Roopak Sinha (Thu Jul 28 2005 - 16:19:16 MDT)
    • NuSMV explicit state model checking Roopak Sinha (Thu Aug 04 2005 - 16:36:35 MDT)
      • Re: NuSMV explicit state model checking Shaun Feng (Thu Aug 04 2005 - 17:25:23 MDT)
      • Re: NuSMV explicit state model checking Roopak Sinha (Thu Aug 04 2005 - 20:16:45 MDT)
  • Re: Finding a Variable Ordering Adnan Aziz (Thu Jun 23 2005 - 14:18:12 MDT)
• ISCAS-85 to blif(Techmapped) conversion Najeeb K (Thu Jun 23 2005 - 01:31:19 MDT)
• reconvergence algorithm Najeeb K (Sat Jun 25 2005 - 07:17:33 MDT)
  • Re: reconvergence algorithm Adnan Aziz (Mon Jun 27 2005 - 15:39:39 MDT)
• problem with vis Joshi Saurabh (Sat Jun 25 2005 - 11:37:13 MDT)
• vis problem Najeeb K (Sun Jun 26 2005 - 00:59:28 MDT)
  • Re: vis problem Joshi Saurabh (Sun Jun 26 2005 - 02:27:37 MDT)
    • Re: vis problem Youngsik Kim (Sun Jun 26 2005 - 17:05:01 MDT)
    • About combinational circuits angela pappagallo (Sat Jul 02 2005 - 02:47:56 MDT)
    • About angela pappagallo (Sat Jul 02 2005 - 02:46:01 MDT)
• circuit minimization through vis? Joshi Saurabh (Mon Jun 27 2005 - 04:27:16 MDT)
  • Re: circuit minimization through vis? Adnan Aziz (Mon Jun 27 2005 - 15:54:18 MDT)
• VIS and "AllSAT" Osama Neiroukh (Fri Aug 26 2005 - 08:48:10 MDT)
• Help on error "# BMC: SAT Solver failed, try again" when runing arbiter example Li, Lun (Fri Aug 26 2005 - 11:56:32 MDT)
• Fwd: Re: Help on error "# BMC: SAT Solver failed, try again" when runing arbiter example Bing.Li_at_colorado.edu (Fri Aug 26 2005 - 15:23:54 MDT)
• Is the SAT_ALL algorithm published in DAC'05 implemented in current VIS release? Li, Lun (Tue Aug 30 2005 - 09:18:43 MDT)
• problem with vis Srikanth Reddy G (Thu Sep 01 2005 - 10:37:46 MDT)
• roblem with vis Srikanth Reddy G (Fri Sep 02 2005 - 00:32:29 MDT)
• Question about non-blocking assignment to partial verctor lo wenn (Tue Sep 13 2005 - 05:48:50 MDT)
• vl2mv with cygwin Prasad AVSS (Sun Oct 30 2005 - 10:28:18 MST)
  • Re: vl2mv with cygwin Fabio Somenzi (Sun Oct 30 2005 - 12:34:42 MST)
  • VL2MV output Prasad AVSS (Sun Oct 30 2005 - 20:53:53 MST)
• vl2mv Andrew Burnside (Sun Oct 30 2005 - 13:49:32 MST)
  • RE: vl2mv Xingwen XU (Fri Nov 04 2005 - 20:48:20 MST)
    • RE: vl2mv Andrew Burnside (Sat Nov 05 2005 - 02:35:31 MST)
• Unknown construct Andrew Burnside (Mon Oct 31 2005 - 02:22:49 MST)
• SPFDs in VIS Sobeeh A. Almukhaizim (Fri Dec 02 2005 - 16:05:23 MST)
• CHINACOM2006 First Call For Papers Yabin Ye (Thu Feb 09 2006 - 08:45:39 MST)
• From Verilog to SMV Thomas Wahl (Sun Mar 26 2006 - 22:25:33 MST)
• BLIF to Verilog converter prasad (Sat Apr 08 2006 - 13:15:14 MDT)
• Hi . . vijay kumar (Sun Apr 16 2006 - 11:50:10 MDT)
• problem with vl2mv-2.1 ! Kusum Lata (Tue Apr 18 2006 - 10:53:47 MDT)
• The deadline of CHINACOM2006 is only 10 days away Yabin Ye (Thu Apr 20 2006 - 01:52:39 MDT)
• core dump for collapse_child Kelvin Lwin (Tue Apr 25 2006 - 20:30:13 MDT)
• Synthesis into 4-input LUTs Muralidaran Vijayaraghavan (Sun Apr 30 2006 - 04:35:01 MDT)
  • Re: Synthesis into 4-input LUTs Shaun Feng (Sun Apr 30 2006 - 11:37:33 MDT)
• CHINACOM2006 deadline has been extended to May 15th, 2006 Yabin Ye (Mon May 01 2006 - 06:57:22 MDT)
• Increase in the value of CUDD_MAXINDEX in Cudd Package sekhar a (Mon May 01 2006 - 12:48:05 MDT)
• bug about vl2mv gepolv (Wed May 10 2006 - 23:11:58 MDT)
• Issue with CUDD_MAXINDEX sekhar a (Thu May 11 2006 - 15:04:02 MDT)
• bug about vl2mv gepolv (Sat May 13 2006 - 07:52:24 MDT)
  • Re: bug about vl2mv Shaun Feng (Sun May 14 2006 - 22:54:52 MDT)
• bug about vl2mv! gepolv (Sun May 14 2006 - 00:09:36 MDT)
  • Re: bug about vl2mv! gsreddy_at_cedt.iisc.ernet.in (Sun May 14 2006 - 02:28:53 MDT)
• Call For Workshop Ideas co-located with CHINACOM2006 Yabin Ye (Tue May 23 2006 - 03:16:58 MDT)
• A problem when install 梊栠 (Mon May 29 2006 - 10:08:02 MDT)
  • Re: A problem when install Quer Stefano (Tue May 30 2006 - 07:07:49 MDT)
• Vis installation problems on Solaris Aditya Kesiraju (Tue May 30 2006 - 17:47:17 MDT)
  • Re: Vis installation problems on Solaris Zhaoyang (Mon Jun 05 2006 - 21:01:35 MDT)
    • Re: Vis installation problems on Solaris Aditya Kesiraju (Tue Jun 06 2006 - 09:38:00 MDT)
      • blif2cnf? Jimmy (Tue Jun 06 2006 - 19:14:42 MDT)
      • blif to verilog converter ? Moiz Khan (Wed Jun 07 2006 - 11:50:27 MDT)
  • Re: Vis installation problems on Solaris 梊栠 (Tue Jun 06 2006 - 19:32:37 MDT)
• Extra BDD nodes being created. Is this a bug? Flavio M. De Paula (Tue May 30 2006 - 17:53:43 MDT)
• Conditional branch in Verilog generating wrong BDD in VIS Flavio M. De Paula (Fri Jun 02 2006 - 23:05:38 MDT)
• Re: Benchmarks question Fazela Vohra (Thu Jun 15 2006 - 10:10:41 MDT)
• Help for preimage computation 梊栠 (Fri Jun 23 2006 - 04:23:15 MDT)
• VIS Pejman Lotfi-Kamran (Sat Jun 24 2006 - 02:13:07 MDT)
  • Re: VIS Mojtaba Vatani (Sat Jun 24 2006 - 05:57:33 MDT)
    • Re: VIS Pejman Lotfi-Kamran (Sat Jun 24 2006 - 06:43:08 MDT)
• how can I see the MDD graph? 曹 正寰 (Mon Jun 26 2006 - 01:48:18 MDT)
• how can I see the MDD graph? 曹 正寰 (Mon Jun 26 2006 - 03:16:21 MDT)
• Dealing with BLIF files Ravi Shankar Kolli (Mon Jun 26 2006 - 14:32:02 MDT)
  • Re: Dealing with BLIF files Mohammad.R Kakoee (Mon Jun 26 2006 - 23:26:52 MDT)
    • Re: Dealing with BLIF files Ravi Shankar Kolli (Tue Jun 27 2006 - 08:43:10 MDT)
      • Re: Dealing with BLIF files Mohammad.R Kakoee (Wed Jun 28 2006 - 08:47:08 MDT)
      • Re: Dealing with BLIF files U.Balaji (Wed Jun 28 2006 - 22:08:28 MDT)
  • Re: Dealing with BLIF files Shaun Feng (Wed Jun 28 2006 - 11:02:50 MDT)
• SIS input vector querry Balaji Vaidyanathan (Wed Jun 28 2006 - 10:12:18 MDT)
• VIS installation Problem Ravi Shankar Kolli (Wed Jun 28 2006 - 12:18:15 MDT)
  • Re: VIS installation Problem Mohammad.R Kakoee (Thu Jun 29 2006 - 02:03:50 MDT)
  • Re: VIS installation Problem Mohammad.R Kakoee (Thu Jun 29 2006 - 02:11:29 MDT)
    • Re: VIS installation Problem Ravi Shankar Kolli (Fri Jun 30 2006 - 10:51:46 MDT)
• Yet another read_blif problem R. Manitra (Tue Jul 11 2006 - 02:39:12 MDT)
• BLIF-MV to BLIF Florian Pigorsch (Wed Jul 12 2006 - 05:14:30 MDT)
  • Segmentation fault lara d'amore (Wed Aug 09 2006 - 05:27:41 MDT)
• BDD Restriction majid nabi (Sat Aug 19 2006 - 05:20:23 MDT)
• Model Checking majid nabi (Sun Aug 27 2006 - 00:57:00 MDT)
• README.vl2mv Markus Wedler (Tue Sep 05 2006 - 05:04:56 MDT)
• Nothing like it AETR tvfjfjw siagiinll (Sun Sep 10 2006 - 10:48:01 MDT)
• POTENTIAL SPAM: Timely Buying 0pportunity for this SmallCap? AETR . pk kwzbxilx (Mon Sep 11 2006 - 01:25:25 MDT)
• CTL formulae with Primary Inputs in precondition part of it. majid nabi (Mon Oct 09 2006 - 05:04:19 MDT)
  • Re: CTL formulae with Primary Inputs in precondition part of it. Fabio Somenzi (Mon Oct 09 2006 - 07:55:38 MDT)
• a question about building bdd tree with CU Decision Diagram Package 062052002_at_fudan.edu.cn (Wed Oct 18 2006 - 07:24:15 MDT)
  • Re: a question about building bdd tree with CU Decision Diagram Package 窇恅疏 (Wed Oct 18 2006 - 08:31:04 MDT)
  • re: a question about building bdd tree with CU Decision Diagram Package 062052002_at_fudan.edu.cn (Thu Oct 19 2006 - 07:08:46 MDT)
    • re: a question about building bdd tree with CU Decision Diagram Package Fabio Somenzi (Thu Oct 19 2006 - 08:48:05 MDT)
  • re:a question about building bdd tree with CU Decision Diagram Package 062052002_at_fudan.edu.cn (Thu Oct 19 2006 - 21:00:17 MDT)
• smv cadence Najeeb K (Sat Oct 28 2006 - 02:02:28 MDT)
• VHDL to BLIF issue (LEON2) Heiner Lauterbach (Mon Nov 20 2006 - 05:35:03 MST)
  • Re: VHDL to BLIF issue (LEON2) Shaun Feng (Mon Nov 20 2006 - 09:32:00 MST)
  • Re: VHDL to BLIF issue (LEON2) Christian Miller (Wed Jan 10 2007 - 05:00:20 MST)
  • Re: VHDL to BLIF issue (LEON2) Michael Frederick (Fri Mar 23 2007 - 11:06:30 MDT)
    • Re: VHDL to BLIF issue (LEON2) Shaun Feng (Tue Mar 27 2007 - 14:53:21 MDT)
• "Deadlock Detection ? " Mohammad.R Kakoee (Tue Nov 21 2006 - 00:38:13 MST)
• segmentation fault vl2mv yg2153_at_columbia.edu (Mon Nov 27 2006 - 10:01:00 MST)
  • Re: segmentation fault vl2mv Fabio Somenzi (Tue Nov 28 2006 - 13:03:41 MST)
• Problem with a mux description in Verilog lara d'amore (Sat Dec 02 2006 - 13:29:27 MST)
  • Re: Problem with a mux description in Verilog Fabio Somenzi (Sat Dec 02 2006 - 13:47:04 MST)
• programming documention/exampls on GLU 2.1 and MDDs Borzoo Bonakdarpour (Mon Dec 04 2006 - 13:42:41 MST)
• BDD node behaviour Pongstorn Maidee (Sun Dec 10 2006 - 16:01:18 MST)
  • Re: BDD node behaviour Fabio Somenzi (Sun Dec 10 2006 - 18:33:30 MST)
    • Re: BDD node behaviour Pongstorn Maidee (Sun Dec 10 2006 - 18:50:09 MST)
      • Re: BDD node behaviour Fabio Somenzi (Sun Dec 10 2006 - 19:10:54 MST)
• (no subject) Pongstorn Maidee (Mon Dec 11 2006 - 21:59:12 MST)
• i made a tool that transforms blifmv 2 blif gepolv (Wed Dec 13 2006 - 19:49:30 MST)
• mv2blif: a tool transforms bilfmv to blif gepolv (Sun Dec 17 2006 - 06:34:07 MST)
• VIS Installation Help kannan sa (Wed Jan 31 2007 - 07:23:52 MST)
  • RE: VIS Installation Help Mc Chen (Wed Jan 31 2007 - 08:02:14 MST)
    • RE: VIS Installation Help akannan_at_cedt.iisc.ernet.in (Sun Feb 04 2007 - 12:34:58 MST)
• POTENTIAL SPAM: Today's QCPC prices Kanisha Gundogdu (Thu Feb 08 2007 - 12:29:31 MST)
• POTENTIAL SPAM: Looking for perfect sex Charity Scott (Tue Feb 20 2007 - 18:22:22 MST)
• Interface between vl2mv and MVSIS Zhao, Yang (Thu Mar 01 2007 - 00:55:38 MST)
• POTENTIAL SPAM: Best prices for u Belinda Horne (Mon Mar 05 2007 - 13:10:05 MST)
• POTENTIAL SPAM: Boost your satisfaction Lidia Kessler (Wed Mar 07 2007 - 09:40:17 MST)
• POTENTIAL SPAM: Melt away fat easily Mike Lyon (Mon Mar 19 2007 - 12:56:24 MDT)
• Model checking with CTL Huy Lam (Wed Mar 21 2007 - 16:41:43 MDT)
  • Re: Model checking with CTL Fabio Somenzi (Wed Mar 21 2007 - 17:57:17 MDT)
  • Re: Model checking with CTL Fabio Somenzi (Wed Mar 21 2007 - 17:59:16 MDT)
• Can't VIS a simple Verilog Zaher S Andraus (Sun Mar 25 2007 - 09:56:48 MDT)
  • Re: Can't VIS a simple Verilog Andrea Fedeli (Tue Mar 27 2007 - 22:58:59 MDT)
    • Re: Can't VIS a simple Verilog Sunil Rafeeque K.P. (Wed Mar 28 2007 - 00:00:35 MDT)
      • Re: Can't VIS a simple Verilog Balaji U (Wed Mar 28 2007 - 00:39:08 MDT)
• Can't run check_invariant -A4 (The puresat algorithm) Zaher S Andraus (Fri Mar 30 2007 - 08:57:54 MDT)
  • Re: Can't run check_invariant -A4 (The puresat algorithm) Andrea Fedeli (Fri Mar 30 2007 - 16:15:42 MDT)
    • Re: Can't run check_invariant -A4 (The puresat algorithm) Zaher S Andraus (Fri Mar 30 2007 - 16:27:37 MDT)
      • Re: Can't run check_invariant -A4 (The puresat algorithm) Fabio Somenzi (Fri Mar 30 2007 - 18:53:08 MDT)
      • Re: Can't run check_invariant -A4 (The puresat algorithm) Sunil Rafeeque K.P. (Fri Mar 30 2007 - 19:31:01 MDT)
      • Re: Can't run check_invariant -A4 (The puresat algorithm) Andrea Fedeli (Sat Mar 31 2007 - 23:01:39 MDT)
• Can not download the source code dennyhuang_at_fudan.edu.cn (Mon Apr 02 2007 - 21:14:00 MDT)
• Open cores in Verlilog synthesizable with vl2mv Ashish Darbari (Wed Apr 04 2007 - 08:22:55 MDT)
• anybody send me a copy of old version of cudd or just send me a link gepolv (Mon Apr 16 2007 - 20:40:50 MDT)
  • Re: anybody send me a copy of old version of cudd or just send me a link 麻帡 (Mon Apr 16 2007 - 21:54:57 MDT)
    • Re: anybody send me a copy of old version of cudd or just send me a link gepolv (Tue Apr 17 2007 - 20:28:55 MDT)
• Backward Reachability Analysis Zhao, Yang (Wed Apr 18 2007 - 04:58:48 MDT)
• Mdd/Glu vs. Cudd/Bdd Borzoo Bonakdarpour (Fri May 04 2007 - 12:50:34 MDT)
• how to get the top variable in DdManager? gepolv (Sat May 05 2007 - 07:00:12 MDT)
  • Re: how to get the top variable in DdManager? Fabio Somenzi (Sat May 05 2007 - 11:04:46 MDT)
• About backward reachable analysis Zhao, Yang (Sun May 06 2007 - 04:26:05 MDT)
  • Re: About backward reachable analysis Chao Wang (Tue May 08 2007 - 12:01:04 MDT)
    • Re: About backward reachable analysis Zhao, Yang (Tue May 08 2007 - 18:48:13 MDT)
  • Re: About backward reachable analysis Chao Wang (Tue May 08 2007 - 19:36:25 MDT)
• verilog to blif convert Kefei Wei (Wed May 09 2007 - 10:22:22 MDT)
  • Re: verilog to blif convert Zhao, Yang (Wed May 09 2007 - 19:06:49 MDT)
    • Re: verilog to blif convert Kefei Wei (Wed May 09 2007 - 20:12:24 MDT)
      • RE: verilog to blif convert Huy Lam (Wed May 09 2007 - 20:25:21 MDT)
      • RE: verilog to blif convert Shaun Feng (Wed May 09 2007 - 22:07:51 MDT)
      • Re: verilog to blif convert Shaun Feng (Wed May 09 2007 - 22:25:49 MDT)
      • using for ALL-SAT Syed Shazli (Fri May 11 2007 - 06:19:25 MDT)
• URGENT PROBLEM Ana Olteanu (Sun May 20 2007 - 12:53:55 MDT)
• Fwd: URGENT PROBLEM Ana Olteanu (Mon May 21 2007 - 02:50:35 MDT)
• Error in reading verilog Syed Shazli (Sun May 27 2007 - 05:11:22 MDT)
• Error in writing out to blif Syed Shazli (Sat Jun 02 2007 - 06:49:04 MDT)
• multiple valued synthesis Ricardo Cunha (Wed Jun 13 2007 - 13:44:45 MDT)
• Re: URGENT CALL FOR HELP Michael Sumato (Sun Jul 22 2007 - 04:56:54 MDT)
• who has dot tool? Can I share it? wanxia qu (Thu Aug 23 2007 - 20:53:13 MDT)
  • Re: who has dot tool? Can I share it? cwei_at_ios.ac.cn (Thu Aug 23 2007 - 22:21:53 MDT)
• setting the Then/Else pointers Ali Ebnenasir (Sun Sep 23 2007 - 13:11:11 MDT)
  • RE: setting the Then/Else pointers Long, Jiang (Sun Sep 23 2007 - 23:00:49 MDT)
    • RE: setting the Then/Else pointers Fabio Somenzi (Mon Sep 24 2007 - 08:50:21 MDT)
• Logic bug in the VIS GRAB package? William Hung (Sun Oct 14 2007 - 23:20:09 MDT)
  • Re: Logic bug in the VIS GRAB package? Chao Wang (Mon Oct 15 2007 - 07:45:55 MDT)
    • Re: Logic bug in the VIS GRAB package? William Hung (Mon Oct 15 2007 - 08:42:48 MDT)
• Hello VIS users Waseem Muhammad (Thu Nov 01 2007 - 07:14:39 MDT)
  • Re: Hello VIS users Fabio Somenzi (Thu Nov 01 2007 - 08:32:01 MDT)
  • Re: Hello VIS users David M. Witten II (Thu Nov 01 2007 - 09:38:57 MDT)
    • Re: Hello VIS users Paan Waala (Thu Nov 01 2007 - 12:01:28 MDT)
    • Re: Hello VIS users samir (Thu Nov 01 2007 - 22:07:03 MDT)
• CVS read access for CUDD Sandeep Srinivasa (Fri Nov 02 2007 - 01:11:07 MDT)
• blif-mv to blif /counter example yongjian Li (Sun Nov 04 2007 - 01:42:41 MST)
• vis for psl jguo_at_sei.ecnu.edu.cn (Mon Nov 05 2007 - 00:08:02 MST)
• vis for psl jguo_at_sei.ecnu.edu.cn (Mon Nov 05 2007 - 18:03:55 MST)
• Root cause of VIS compilation problems is due to flex version differences William Hung (Tue Nov 06 2007 - 17:51:03 MST)
• Multi-threading in Glu/Cudd Borzoo Bonakdarpour (Thu Dec 20 2007 - 15:10:35 MST)
  • Re: Multi-threading in Glu/Cudd Fabio Somenzi (Thu Dec 20 2007 - 15:54:02 MST)
    • Re: Multi-threading in Glu/Cudd Borzoo Bonakdarpour (Thu Dec 20 2007 - 17:04:35 MST)
      • Re: Multi-threading in Glu/Cudd Fabio Somenzi (Thu Dec 20 2007 - 17:56:13 MST)
• Please help me, I cannot download the (vl2mv-2.1.tar.gz) Adonis Lin (Tue May 06 2008 - 07:03:06 MDT)
• genlib format description Tobias Pampel (Wed May 14 2008 - 03:48:29 MDT)
  • Re: genlib format description K.L. Man (Mon Jun 02 2008 - 06:55:27 MDT)
    • Re: genlib format description Sk Golam Sarowar Hossain (Mon Jun 02 2008 - 21:50:14 MDT)
• VIS ERROR -- NEED HELP !! Aritra Hazra (Tue Jun 10 2008 - 22:09:53 MDT)
  • Re: VIS ERROR -- NEED HELP !! Waseem Muhammad (Wed Jun 11 2008 - 02:17:10 MDT)
• Help !! VIS Error !! Aritra Hazra (Mon Jun 23 2008 - 10:23:14 MDT)
  • Re: Help !! VIS Error !! Waseem Muhammad (Mon Jun 23 2008 - 11:33:58 MDT)
• blif_mv-to-blif/vis example-counter yongjian li (Fri Nov 02 2007 - 07:00:25 MDT)
• vis installation error Touqeer Azam (Tue Jun 24 2008 - 09:26:56 MDT)
  • Re: vis installation error Waseem Muhammad (Tue Jun 24 2008 - 09:48:18 MDT)
• Help !! VIS Error !! The hierarchy manager is empty. Read in design. Aritra Hazra (Tue Jun 24 2008 - 21:00:44 MDT)
• Help !! VIS Error !! The hierarchy manager is empty. Read in design. Aritra Hazra (Tue Jun 24 2008 - 05:31:02 MDT)
• Help !! VIS Error !! The hierarchy manager is empty. Read in design. Aritra Hazra (Tue Jun 24 2008 - 00:57:26 MDT)
  • Fw: Help !! VIS Error !! The hierarchy manager is empty. Read in design. Aritra Hazra (Fri Jun 27 2008 - 04:17:45 MDT)
• Re:Fw: (by sunke2008@tom.com)I can't get VIS guojian (Thu Jun 26 2008 - 00:09:30 MDT)
  • Re: Fw: (by sunke2008@tom.com)I can't get VIS Fei He (Thu Jun 26 2008 - 23:01:02 MDT)
• VIS Error in doing BMC of LTL Formula... Help !! Aritra Hazra (Thu Jul 03 2008 - 02:59:17 MDT)
• CuDD: subsets and equivalence + compile error hmf_at_inescporto.pt (Mon Jul 21 2008 - 05:10:49 MDT)
• Latch inference in VIS for Verilog models Waseem Muhammad (Tue Aug 12 2008 - 06:10:54 MDT)
  • Re: Latch inference in VIS for Verilog models Andrea Fedeli (Fri Aug 15 2008 - 00:01:43 MDT)
    • Re: Latch inference in VIS for Verilog models (2) Andrea Fedeli (Fri Aug 15 2008 - 05:18:03 MDT)
• How to get vl2mv 2.0 Waseem Muhammad (Thu Aug 14 2008 - 04:17:09 MDT)

Last message date: Fri Aug 15 2008 - 05:19:56 MDT
Archived on: Fri Aug 15 2008 - 05:20:06 MDT

399 messages sorted by: [ author ] [ date ] [ subject ] [ attachment ]
Mail actions: [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Fri Aug 15 2008 - 05:20:06 MDT