Open Source VHDL Verification Methodology/Дневник - История изменений

ANA: /* Вариант 3a */

2015-02-26T07:52:59Z

‎Вариант 3a

ANA: /* Вариант 3 */

2015-02-26T07:47:46Z

‎Вариант 3

ANA: /* Вариант 3 */

2015-02-13T06:38:48Z

‎Вариант 3

ANA: /* Пример автомата */

2015-02-13T06:06:09Z

‎Пример автомата

ANA: /* Пример автомата */

2015-02-10T08:33:23Z

‎Пример автомата

ANA: /* Пример автомата */

2015-02-10T08:33:01Z

‎Пример автомата

ANA: /* Пример автомата */

2015-02-10T08:08:32Z

‎Пример автомата

ANA: /* Пример автомата */

2015-02-10T08:04:13Z

‎Пример автомата

ANA: /* Пример автомата */

2015-02-10T07:11:49Z

‎Пример автомата

ANA: /* Эволюция языков описания аппаратуры */

2015-02-10T06:41:46Z

‎Эволюция языков описания аппаратуры

@@ Строка 542: / Строка 542: @@
    edge[fontname=Helvetica,fontsize=12,labeldistance=1.8]
-   compare_0   [label="compared_0\ndout = '0'",shape=box,fillcolor="palegreen",style="filled,rounded"]
+   cmp0   [label="cmp0\ndout = '0'",shape=box,fillcolor="palegreen",style="filled,rounded"]
-   compare_1   [label="compared_1\ndout = '0'"]
+   cmp1   [label="cmp1\ndout = '0'"]
-   compare_2   [label="compared_2\ndout = '0'"]
+   cmp2   [label="cmp2\ndout = '0'"]
-   compare_all [label="compared_all\ndout = '1'"]
+   cmp3 [label="cmp3\ndout = '1'"]
-   {rank=same compare_0 compare_1}
+   {rank=same cmp0 cmp1}
-   compare_0 -> compare_1   [label="din = a"]
+   cmp0 -> cmp1   [label="din = a"]
-   compare_0 -> compare_0   [label="din ≠ a"]
+   cmp0 -> cmp0   [label="din ≠ a"]
-   compare_1 -> compare_2   [label="din = b"]
+   cmp1 -> cmp2   [label="din = b"]
-   compare_1 -> compare_1   [label="din = a and din ≠ b"]
+   cmp1 -> cmp1   [label="  din = a and din ≠ b"]
-   compare_1 -> compare_0   [label="din ≠ a and din ≠ b"]
+   cmp1 -> cmp0   [label="din ≠ a and din ≠ b"]
-   compare_2 -> compare_all [label="din = c"]
+   cmp2 -> cmp3 [label="din = c"]
-   compare_2 -> compare_2   [label="din = a and din = b"]
+   cmp2 -> cmp2   [label="din = a and din = b"]
-   compare_2 -> compare_1   [label="din = a and din ≠ b"]
+   cmp2 -> cmp1   [label="din = a and din ≠ b"]
-   compare_2 -> compare_0   [label="din ≠ a and din ≠ b"]
+   cmp2 -> cmp0   [label="din ≠ a and din ≠ b"]
-   compare_all -> compare_all [label="din = a and din = b and din = c"]
+   cmp3 -> cmp3   [label="din=a and din=b and din=c  ."]
-   compare_all -> compare_2   [label="din = a and din = b and din ≠ c"]
+   cmp3 -> cmp2   [label="din = a and din = b and din ≠ c"]
-   compare_all -> compare_1   [label="din = a and din ≠ b and din ≠ c"]
+   cmp3 -> cmp1   [label="din = a and din ≠ b and din ≠ c"]
-   compare_all -> compare_0   [label="din ≠ a and din ≠ b and din ≠ c"]
+   cmp3 -> cmp0   [label="din ≠ a and din ≠ b and din ≠ c"]
    edge[fontname=Helvetica,fontsize=12,labeldistance=1.8,color="palegreen"]
-   compare_all -> compare_2   [label="din = b & a = c",fontcolor="blue"]
+   cmp3 -> cmp2   [label="din = b & a = c",fontcolor="blue"]
+}

← Предыдущая		Версия 07:47, 26 февраля 2015
Строка 497:		Строка 497:

	===Вариант 3===		===Вариант 3===
		+
		+	<graph>
		+	digraph apply {
		+	rankdir=LR; fontname=Helvetica;
		+	node[fontname=Helvetica]
		+	edge[fontname=Helvetica,fontsize=12,labeldistance=1.8]
		+
		+	compare_0 [label="compared_0\ndout = '0'",shape=box,fillcolor="palegreen",style="filled,rounded"]
		+	compare_1 [label="compared_1\ndout = '0'"]
		+	compare_2 [label="compared_2\ndout = '0'"]
		+	compare_all [label="compared_all\ndout = '1'"]
		+
		+	{rank=same compare_0 compare_1}
		+
		+	compare_0 -> compare_1 [label="din = a"]
		+	compare_0 -> compare_0 [label="din ≠ a"]
		+
		+	compare_1 -> compare_2 [label="din = b"]
		+	compare_1 -> compare_1 [label="din = a and din ≠ b"]
		+	compare_1 -> compare_0 [label="din ≠ a and din ≠ b"]
		+
		+	compare_2 -> compare_all [label="din = c"]
		+	compare_2 -> compare_2 [label="din = a and din = b"]
		+	compare_2 -> compare_1 [label="din = a and din ≠ b"]
		+	compare_2 -> compare_0 [label="din ≠ a and din ≠ b"]
		+
		+	compare_all -> compare_all [label="din = a and din = b and din = c"]
		+	compare_all -> compare_2 [label="din = a and din = b and din ≠ c"]
		+	compare_all -> compare_1 [label="din = a and din ≠ b and din ≠ c"]
		+	compare_all -> compare_0 [label="din ≠ a and din ≠ b and din ≠ c"]
		+
		+	edge[fontname=Helvetica,fontsize=12,labeldistance=1.8,color="palegreen"]
		+	compare_all -> compare_2 [label="din = b & a = c",fontcolor="blue"]
		+
		+	}
		+	</graph>
		+
		+	===Вариант 3a===

	<graph>		<graph>

@@ Строка 508: / Строка 508: @@
    compare_2   [label="compared_2\ndout = '0'"]
    compare_all [label="compared_all\ndout = '1'"]
    compare_0 -> compare_1   [label="din = a"]

@@ Строка 460: / Строка 460: @@
 </graph>
-Вариант 2.
+===Вариант 2.===
 <graph>
@@ Строка 489: / Строка 489: @@
    compare_all -> compare_1   [label="din = a ≠ b ≠ c"]
    compare_all -> compare_0   [label="din ≠ a ≠ b ≠ c"]
    edge[fontname=Helvetica,fontsize=12,labeldistance=1.8,color="palegreen"]

@@ Строка 491: / Строка 491: @@
    edge[fontname=Helvetica,fontsize=12,labeldistance=1.8,color="palegreen"]
-   compare_all -> compare_2   [label="din = b & a ≠ c",fontcolor="blue"]
+   compare_all -> compare_2   [label="din = b & a = c",fontcolor="blue"]
+}

@@ Строка 477: / Строка 477: @@
    compare_1 -> compare_2   [label="din = b"]
-   compare_1 -> compare_1   [label="din = a"]
+   compare_1 -> compare_1   [label="din = a ≠ b"]
    compare_1 -> compare_0   [label="din ≠ a ≠ b"]

@@ Строка 436: / Строка 436: @@
 digraph apply {
-   rankdir=BT; fontname=Helvetica; splines=ortho
+   rankdir=LR; fontname=Helvetica;
-  node[peripheries=0, style=filled, fillcolor=blue, fontcolor=white, fontname=Helvetica, fixedsize=true, width=1.8, height=0.8]
+# splines=ortho
-   edge[splines="true,ortho",fontname=Helvetica,fontsize=12,fontcolor=blue,labeldistance=1.8]
+#  node[peripheries=0, style=filled, fillcolor=blue, fontcolor=white, fontname=Helvetica, fixedsize=true, width=1.8, height=0.8]
-   submit -> complete
+#  {rank=same
-   complete -> submit     [headlabel="no"]
+#   compared_0 [label="compared_0\ndout = '0'"]
-   complete -> min        [headlabel="yes"]
+#   compared_1
+}

@@ Строка 425: / Строка 425: @@
    admreject -> letter
    facaccept -> letter
+}
 </graph>
 ==New ==