From 8b59a26fe07e47d962a6030ae18ad225a5e2ad94 Mon Sep 17 00:00:00 2001 From: Mavo Date: Tue, 26 Jan 2016 17:15:24 +0100 Subject: [PATCH] More dft files Former-commit-id: b1b7906604b0e8dfe5f443ce25175353c3df3fcb --- examples/dft/cm2.dft | 22 ++++++++++++++++++ examples/dft/cm4.dft | 41 +++++++++++++++++++++++++++++++++ examples/dft/cps.dft | 26 +++++++++++++++++++++ examples/dft/mdcs.dft | 26 +++++++++++++++++++++ examples/dft/mdcs2.dft | 19 +++++++++++++++ examples/dft/mp.dft | 7 ++++++ examples/dft/tripple_and2.dft | 8 ++++--- examples/dft/tripple_and2_c.dft | 6 +++++ examples/dft/tripple_and_c.dft | 7 ++++++ examples/dft/tripple_or.dft | 9 ++++++++ examples/dft/tripple_or2.dft | 8 +++++++ examples/dft/tripple_or2_c.dft | 6 +++++ examples/dft/tripple_or_c.dft | 7 ++++++ examples/dft/voting.dft | 8 +++---- examples/dft/voting2.dft | 5 ++++ 15 files changed, 198 insertions(+), 7 deletions(-) create mode 100644 examples/dft/cm2.dft create mode 100644 examples/dft/cm4.dft create mode 100644 examples/dft/cps.dft create mode 100644 examples/dft/mdcs.dft create mode 100644 examples/dft/mdcs2.dft create mode 100644 examples/dft/mp.dft create mode 100644 examples/dft/tripple_and2_c.dft create mode 100644 examples/dft/tripple_and_c.dft create mode 100644 examples/dft/tripple_or.dft create mode 100644 examples/dft/tripple_or2.dft create mode 100644 examples/dft/tripple_or2_c.dft create mode 100644 examples/dft/tripple_or_c.dft create mode 100644 examples/dft/voting2.dft diff --git a/examples/dft/cm2.dft b/examples/dft/cm2.dft new file mode 100644 index 000000000..89a1a8eba --- /dev/null +++ b/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; diff --git a/examples/dft/cm4.dft b/examples/dft/cm4.dft new file mode 100644 index 000000000..deb8a7fb7 --- /dev/null +++ b/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; + diff --git a/examples/dft/cps.dft b/examples/dft/cps.dft new file mode 100644 index 000000000..9ee386740 --- /dev/null +++ b/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; diff --git a/examples/dft/mdcs.dft b/examples/dft/mdcs.dft new file mode 100644 index 000000000..450217a4c --- /dev/null +++ b/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; + diff --git a/examples/dft/mdcs2.dft b/examples/dft/mdcs2.dft new file mode 100644 index 000000000..5a376a7b8 --- /dev/null +++ b/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; diff --git a/examples/dft/mp.dft b/examples/dft/mp.dft new file mode 100644 index 000000000..a2e769420 --- /dev/null +++ b/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; diff --git a/examples/dft/tripple_and2.dft b/examples/dft/tripple_and2.dft index 0f9d0e491..9e02d88e7 100644 --- a/examples/dft/tripple_and2.dft +++ b/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; + diff --git a/examples/dft/tripple_and2_c.dft b/examples/dft/tripple_and2_c.dft new file mode 100644 index 000000000..edfde4144 --- /dev/null +++ b/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; + diff --git a/examples/dft/tripple_and_c.dft b/examples/dft/tripple_and_c.dft new file mode 100644 index 000000000..72b384c98 --- /dev/null +++ b/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; + diff --git a/examples/dft/tripple_or.dft b/examples/dft/tripple_or.dft new file mode 100644 index 000000000..9dbd0e377 --- /dev/null +++ b/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; + diff --git a/examples/dft/tripple_or2.dft b/examples/dft/tripple_or2.dft new file mode 100644 index 000000000..32bc0ff8f --- /dev/null +++ b/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; + diff --git a/examples/dft/tripple_or2_c.dft b/examples/dft/tripple_or2_c.dft new file mode 100644 index 000000000..40747fbc8 --- /dev/null +++ b/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; + diff --git a/examples/dft/tripple_or_c.dft b/examples/dft/tripple_or_c.dft new file mode 100644 index 000000000..378b29630 --- /dev/null +++ b/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; + diff --git a/examples/dft/voting.dft b/examples/dft/voting.dft index 18a54a7fa..6a5e82b3e 100644 --- a/examples/dft/voting.dft +++ b/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; diff --git a/examples/dft/voting2.dft b/examples/dft/voting2.dft new file mode 100644 index 000000000..9cdf299f3 --- /dev/null +++ b/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;