{ "elements" : [ { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "vhdlBlock", "label" : { "isHidden" : true, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 30.612574890255928, "text" : "U1", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlInterface" : { "asynchronous" : [ { "activeLow" : true, "name" : "RST" } ], "clock" : { "falls" : false, "name" : "CLK" }, "name" : "STATE_MACHINE", "ports" : [ { "direction" : "input", "name" : "CLK" }, { "direction" : "input", "name" : "RST" }, { "direction" : "input", "name" : "A" }, { "direction" : "input", "name" : "B" }, { "direction" : "output", "name" : "Y" } ] }, "vhdlSource" : "entity STATE_MACHINE is\n port (\n CLK : in std_logic;\n RST : in std_logic;\n A : in std_logic;\n B : in std_logic;\n Y : out std_logic\n );\nend entity STATE_MACHINE;\n\narchitecture rtl of STATE_MACHINE is\n signal CURR_ST: std_logic_vector(1 downto 0);\n signal NEXT_ST: std_logic_vector(1 downto 0);\nbegin\n process(CLK, RST)\n begin\n if (RST = '0') then\n CURR_ST <= \"00\";\n elsif rising_edge(CLK) then\n CURR_ST <= NEXT_ST;\n end if;\n end process;\n \n process(CURR_ST, A, B)\n begin\n case CURR_ST is\n when \"00\" =>\n if (A = '1') then\n NEXT_ST <= \"01\";\n else\n NEXT_ST <= \"10\";\n end if;\n when \"01\" =>\n if (B = '1') then\n NEXT_ST <= \"11\";\n else\n NEXT_ST <= \"00\";\n end if;\n when others =>\n NEXT_ST <= \"00\";\n end case;\n end process;\n \n Y <= A when CURR_ST = \"11\" else '0';\nend architecture rtl;" } } }, "frame" : [ [ 136.38671875, 217.32503255208331 ], [ 240, 188.02490234375 ] ], "id" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 1 }, { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "inputTerminal", "label" : { "isHidden" : false, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 15, "text" : "CLK", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlSource" : "" } } }, "frame" : [ [ -3.61328125, 268 ], [ 80, 24 ] ], "id" : "5A04C0FD-C9E4-429A-93EF-EA881AAA5647", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 2 }, { "content" : { "polyline" : { "end" : { "anchor" : { "x" : 1, "y" : 0.5 }, "element" : "5A04C0FD-C9E4-429A-93EF-EA881AAA5647" }, "points" : [ [ 136.38671875, 280 ], [ 76.38671875, 280 ] ], "start" : { "anchor" : { "x" : 0, "y" : 0.3333333333333334 }, "element" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710" } } }, "frame" : [ [ 76.38671875, 280 ], [ 60, 0 ] ], "id" : "787FF411-7E8B-4FD7-9A58-432C89412D32", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 3 }, { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "inputTerminal", "label" : { "isHidden" : false, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 15, "text" : "RST", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlSource" : "" } } }, "frame" : [ [ -3.61328125, 299.3374837239583 ], [ 80, 24 ] ], "id" : "5D7E3D2D-BAAC-49BD-A264-99A8087CFC82", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 4 }, { "content" : { "polyline" : { "end" : { "anchor" : { "x" : 1, "y" : 0.5 }, "element" : "5D7E3D2D-BAAC-49BD-A264-99A8087CFC82" }, "points" : [ [ 136.38671875, 311.3374837239583 ], [ 76.38671875, 311.3374837239583 ] ], "start" : { "anchor" : { "x" : 0, "y" : 0.5 }, "element" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710" } } }, "frame" : [ [ 76.38671875, 311.3374837239583 ], [ 60, 0 ] ], "id" : "AB7C0F65-AD58-48EA-9CC9-EC3FD7E01ED9", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 5 }, { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "inputTerminal", "label" : { "isHidden" : false, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 15, "text" : "A", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlSource" : "" } } }, "frame" : [ [ -3.61328125, 330.67496744791663 ], [ 80, 24 ] ], "id" : "C8EF0583-AB59-40ED-9054-0D21C768D7E8", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 6 }, { "content" : { "polyline" : { "end" : { "anchor" : { "x" : 1, "y" : 0.5 }, "element" : "C8EF0583-AB59-40ED-9054-0D21C768D7E8" }, "points" : [ [ 136.38671875, 342.67496744791663 ], [ 76.38671875, 342.67496744791663 ] ], "start" : { "anchor" : { "x" : 0, "y" : 0.6666666666666665 }, "element" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710" } } }, "frame" : [ [ 76.38671875, 342.67496744791663 ], [ 60, 0 ] ], "id" : "973851C0-A841-4BD9-A327-F599FA218C25", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 7 }, { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "inputTerminal", "label" : { "isHidden" : false, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 15, "text" : "B", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlSource" : "" } } }, "frame" : [ [ -3.61328125, 362.012451171875 ], [ 80, 24 ] ], "id" : "C80A0B9C-9656-4BC6-A005-28E4B19E6A8D", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 8 }, { "content" : { "polyline" : { "end" : { "anchor" : { "x" : 1, "y" : 0.5 }, "element" : "C80A0B9C-9656-4BC6-A005-28E4B19E6A8D" }, "points" : [ [ 136.38671875, 374.012451171875 ], [ 76.38671875, 374.012451171875 ] ], "start" : { "anchor" : { "x" : 0, "y" : 0.8333333333333335 }, "element" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710" } } }, "frame" : [ [ 76.38671875, 374.012451171875 ], [ 60, 0 ] ], "id" : "082A3A83-AD2E-4BA9-B3C3-43370595002D", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 9 }, { "content" : { "component" : { "_0" : { "bubbles" : [ ], "expandedPorts" : [ ], "isClock" : false, "kind" : "outputTerminal", "label" : { "isHidden" : false, "offset" : [ 0, 0 ], "run" : { "alignment" : "center", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 15, "text" : "Y", "weight" : "regular" }, "side" : "above" }, "orientation" : { "mirrored" : false, "quarter" : 0 }, "pinLabels" : { }, "showsClock" : true, "vhdlSource" : "" } } }, "frame" : [ [ 436.38671875, 315.0062255859375 ], [ 80, 24 ] ], "id" : "4FCC8676-E25B-44FA-A8A2-FEB704483C97", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 10 }, { "content" : { "polyline" : { "end" : { "anchor" : { "x" : 0, "y" : 0.5 }, "element" : "4FCC8676-E25B-44FA-A8A2-FEB704483C97" }, "points" : [ [ 376.38671875, 327.0062255859375 ], [ 436.38671875, 327.0062255859375 ] ], "start" : { "anchor" : { "x" : 1, "y" : 0.5833333333333335 }, "element" : "7B83E067-8560-4FF9-81CD-7AD8AFCF3710" } } }, "frame" : [ [ 376.38671875, 327.0062255859375 ], [ 60, 0 ] ], "id" : "75EAA123-9B31-4C7E-8702-1B53D503B1EC", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 11 }, { "content" : { "timing" : { "_0" : { "nameAlignment" : "trailing", "nameWidth" : 84, "relations" : [ ], "showsClockGrid" : true, "showsTimeAxis" : false, "signals" : [ { "breaks" : [ ], "delay" : 0, "edgeDelays" : { }, "id" : "E4A12D5B-E4B9-4491-9D27-8B301C1A475E", "levels" : [ { "low" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } } ], "name" : { "alignment" : "trailing", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 13, "text" : "CLK", "weight" : "regular" }, "valueOverline" : false }, { "breaks" : [ ], "delay" : 0, "edgeDelays" : { }, "id" : "312672C1-F711-44BE-AD7D-7BBEB364BD14", "levels" : [ { "low" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } } ], "name" : { "alignment" : "trailing", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 13, "text" : "RST", "weight" : "regular" }, "valueOverline" : false }, { "breaks" : [ ], "delay" : 0, "edgeDelays" : { }, "id" : "0FD0A74F-D6BB-4DBB-A009-8A429D5DB1AF", "levels" : [ { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "high" : { } }, { "high" : { } }, { "low" : { } }, { "low" : { } }, { "high" : { } }, { "high" : { } }, { "low" : { } } ], "name" : { "alignment" : "trailing", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 13, "text" : "A", "weight" : "regular" }, "valueOverline" : false }, { "breaks" : [ ], "delay" : 0, "edgeDelays" : { }, "id" : "A27FDE80-38B4-405C-9A8E-FFBE4B2363DE", "levels" : [ { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "high" : { } }, { "low" : { } } ], "name" : { "alignment" : "trailing", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 13, "text" : "B", "weight" : "regular" }, "valueOverline" : false }, { "breaks" : [ ], "delay" : 0, "edgeDelays" : { }, "id" : "90829F97-F05F-4191-81FB-A93339B6728E", "levels" : [ { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "low" : { } }, { "high" : { } }, { "low" : { } }, { "low" : { } } ], "name" : { "alignment" : "trailing", "color" : { "ink" : { } }, "overline" : false, "overlines" : [ ], "size" : 13, "text" : "Y", "weight" : "regular" }, "valueOverline" : false } ], "slope" : 0.16, "tickCount" : 12 } } }, "frame" : [ [ -87.61328125, 450 ], [ 540, 170 ] ], "id" : "E8AD0268-9F54-41B3-BDF4-3606906F71A9", "junctionAnchors" : [ ], "style" : { "dash" : [ ], "endCap" : "none", "lineWidth" : 1.5, "startCap" : "none", "stroke" : { "ink" : { } } }, "zIndex" : 12 } ], "schemaVersion" : 1 }