More dft files

Former-commit-id: b1b7906604

examples/dft/cm2.dft

@@ -0,0 +1,22 @@
+toplevel "System";
+"System" or "BUS" "CM";
+"CM" and "CM1" "CM2";
+"CM1" or "DISK1" "POWER1" "MEMORY1";
+"CM2" or "DISK2" "POWER2" "MEMORY2";
+"DISK1" wsp "D11" "D12";
+"DISK2" wsp "D21" "D22";
+"POWER1" or "P1" "PS";
+"POWER2" or "P2" "PS";
+"MEMORY1" wsp "M1" "M3";
+"MEMORY2" wsp "M2" "M3";
+"BUS" lambda=0.0002 dorm=0;
+"P1" lambda=0.05 dorm=0;
+"P2" lambda=0.05 dorm=0;
+"PS" lambda=0.6 dorm=0;
+"D11" lambda=8.0 dorm=0;
+"D12" lambda=8.0 dorm=0.5;
+"D21" lambda=8.0 dorm=0;
+"D22" lambda=8.0 dorm=0.5;
+"M1" lambda=0.003 dorm=0;
+"M2" lambda=0.003 dorm=0;
+"M3" lambda=0.003 dorm=0.5;

examples/dft/cm4.dft

@@ -0,0 +1,41 @@
+toplevel "System";
+"System" or "BUS" "CM";
+"CM" and "CM1" "CM2" "CM3" "CM4";
+"CM1" or "DISK1" "POWER1" "MEMORY1";
+"CM2" or "DISK2" "POWER2" "MEMORY2";
+"CM3" or "DISK3" "POWER3" "MEMORY3";
+"CM4" or "DISK4" "POWER4" "MEMORY4";
+"DISK1" wsp "D11" "D12";
+"DISK2" wsp "D21" "D22";
+"DISK3" wsp "D31" "D32";
+"DISK4" wsp "D41" "D42";
+"POWER1" or "P1" "PS";
+"POWER2" or "P2" "PS";
+"POWER3" or "P3" "PS2";
+"POWER4" or "P4" "PS2";
+"MEMORY1" wsp "M1" "M3" "M4";
+"MEMORY2" wsp "M2" "M3" "M4";
+"MEMORY3" wsp "M31" "M3";
+"MEMORY4" wsp "M41" "M4";
+"BUS" lambda=0.0002 dorm=0;
+"P1" lambda=0.05 dorm=0;
+"P2" lambda=0.05 dorm=0;
+"P3" lambda=0.05 dorm=0;
+"P4" lambda=0.05 dorm=0;
+"PS" lambda=0.6 dorm=0;
+"PS2" lambda=0.6 dorm=0;
+"D11" lambda=8.0 dorm=0;
+"D12" lambda=8.0 dorm=0.5;
+"D21" lambda=8.0 dorm=0;
+"D22" lambda=8.0 dorm=0.5;
+"D31" lambda=8.0 dorm=0;
+"D32" lambda=8.0 dorm=0.5;
+"D41" lambda=8.0 dorm=0;
+"D42" lambda=8.0 dorm=0.5;
+"M1" lambda=0.003 dorm=0;
+"M2" lambda=0.003 dorm=0;
+"M31" lambda=0.003 dorm=0;
+"M41" lambda=0.003 dorm=0;
+"M3" lambda=0.003 dorm=0.5;
+"M4" lambda=0.003 dorm=0.5;
+

examples/dft/cps.dft

@@ -0,0 +1,26 @@
+toplevel "System";
+
+"System" pand "A" "B";
+
+"A" and "AA" "AB" "AC" "AD";
+
+"B" pand "C" "D";
+
+"C" and "CA" "CB" "CC" "CD";
+
+"D" and "DA" "DB" "DC" "DD";
+
+"AA" lambda=1 dorm=0;
+"AB" lambda=1 dorm=0;
+"AC" lambda=1 dorm=0;
+"AD" lambda=1 dorm=0;
+
+"CA" lambda=1 dorm=0;
+"CB" lambda=1 dorm=0;
+"CC" lambda=1 dorm=0;
+"CD" lambda=1 dorm=0;
+
+"DA" lambda=1 dorm=0;
+"DB" lambda=1 dorm=0;
+"DC" lambda=1 dorm=0;
+"DD" lambda=1 dorm=0;

examples/dft/mdcs.dft

@@ -0,0 +1,26 @@
+toplevel "System";
+
+"System" or "S" "N";
+
+"N" lambda=2e-5 dorm=0;
+
+"S" and "CMA" "CMB";
+
+"CMA" or "DiskA" "PA" "MemA";
+"DiskA" wsp "DAA" "DAB";
+"PA" lambda=500e-5 dorm=0;
+"MemA" wsp "MA" "MC";
+"DAA" lambda=80000e-5 dorm=0.5;
+"DAB" lambda=80000e-5 dorm=0.5;
+"MA" lambda=30e-5 dorm=0;
+
+"CMB" or "DiskB" "PB" "MemB";
+"DiskB" wsp "DBA" "DBB";
+"PB" lambda=500e-5 dorm=0;
+"MemB" wsp "MB" "MC";
+"DBA" lambda=80000e-5 dorm=0.5;
+"DBB" lambda=80000e-5 dorm=0.5;
+"MB" lambda=30e-5 dorm=0;
+
+"MC" lambda=30e-5 dorm=0.5;
+

examples/dft/mdcs2.dft

@@ -0,0 +1,19 @@
+toplevel "System";
+"System" or "S" "N";
+"N" lambda=0.0000200000 dorm=0.0000000000;
+"S" and "CMA" "CMB";
+"CMA" or "DiskA" "PA" "MemA";
+"DiskA" wsp "DAA" "DAB";
+"PA" lambda=0.0049999999 dorm=0.0000000000;
+"MemA" wsp "MA" "MC";
+"DAA" lambda=0.8000000119 dorm=0.5000000000;
+"DAB" lambda=0.8000000119 dorm=0.5000000000;
+"MA" lambda=0.0003000000 dorm=0.0000000000;
+"CMB" or "DiskB" "PB" "MemB";
+"DiskB" wsp "DBA" "DBB";
+"PB" lambda=0.0049999999 dorm=0.0000000000;
+"MemB" wsp "MB" "MC";
+"DBA" lambda=0.8000000119 dorm=0.5000000000;
+"DBB" lambda=0.8000000119 dorm=0.5000000000;
+"MB" lambda=0.0003000000 dorm=0.0000000000;
+"MC" lambda=0.0003000000 dorm=0.5000000000;

examples/dft/mp.dft

@@ -0,0 +1,7 @@
+toplevel "A";
+"A" or "B" "C";
+"B" or "D" "E";
+"C" or "F" "E";
+"D" lambda=0.1 dorm=0;
+"E" lambda=0.2 dorm=0;
+"F" lambda=0.3 dorm=0;

examples/dft/tripple_and2.dft

@@ -1,6 +1,8 @@
 toplevel "A";
 "A" and "B" "C";
 "B" and "BE1" "BE2";
-"BE1" lambda=0.5 dorm=0.3;
-"BE2" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
+"C" and "BE2" "BE3";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+

examples/dft/tripple_and2_c.dft

@@ -0,0 +1,6 @@
+toplevel "A";
+"A" and "BE1" "BE2" "BE3";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+

examples/dft/tripple_and_c.dft

@@ -0,0 +1,7 @@
+toplevel "A";
+"A" and "BE1" "BE2" "BE3" "BE4";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+"BE4" lambda=0.5 dorm=3;
+

examples/dft/tripple_or.dft

@@ -0,0 +1,9 @@
+toplevel "A";
+"A" or "B" "C";
+"B" or "BE1" "BE2";
+"C" or "BE3" "BE4";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+"BE4" lambda=0.5 dorm=3;
+

examples/dft/tripple_or2.dft

@@ -0,0 +1,8 @@
+toplevel "A";
+"A" or "B" "C";
+"B" or "BE1" "BE2";
+"C" or "BE2" "BE3";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+

examples/dft/tripple_or2_c.dft

@@ -0,0 +1,6 @@
+toplevel "A";
+"A" or "BE1" "BE2" "BE3";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+

examples/dft/tripple_or_c.dft

@@ -0,0 +1,7 @@
+toplevel "A";
+"A" or "BE1" "BE2" "BE3" "BE4";
+"BE1" lambda=0.5 dorm=3;
+"BE2" lambda=0.5 dorm=3;
+"BE3" lambda=0.5 dorm=3;
+"BE4" lambda=0.5 dorm=3;
+

examples/dft/voting.dft

@@ -1,5 +1,5 @@
 toplevel "A";
-"A" vot2 "B" "C" "D";
-"B" lambda=0.5 dorm=0.3;
-"C" lambda=0.5 dorm=0.3;
-"D" lambda=0.5 dorm=0.3;
+"A" vot1 "B" "C" "D";
+"B" lambda=0.1 dorm=0;
+"C" lambda=0.2 dorm=0;
+"D" lambda=0.3 dorm=0;

examples/dft/voting2.dft

@@ -0,0 +1,5 @@
+toplevel "A";
+"A" 1of3 "B" "C" "D";
+"B" lambda=0.3 dorm=0;
+"C" lambda=0.4 dorm=0;
+"D" lambda=1 dorm=0;