| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd"> |
| <!--Created by yEd 3.18.1.1--> |
| <key attr.name="Description" attr.type="string" for="graph" id="d0"/> |
| <key for="port" id="d1" yfiles.type="portgraphics"/> |
| <key for="port" id="d2" yfiles.type="portgeometry"/> |
| <key for="port" id="d3" yfiles.type="portuserdata"/> |
| <key attr.name="url" attr.type="string" for="node" id="d4"/> |
| <key attr.name="description" attr.type="string" for="node" id="d5"/> |
| <key for="node" id="d6" yfiles.type="nodegraphics"/> |
| <key for="graphml" id="d7" yfiles.type="resources"/> |
| <key attr.name="url" attr.type="string" for="edge" id="d8"/> |
| <key attr.name="description" attr.type="string" for="edge" id="d9"/> |
| <key for="edge" id="d10" yfiles.type="edgegraphics"/> |
| <graph edgedefault="directed" id="G"> |
| <data key="d0"/> |
| <node id="n0"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="310.0" width="645.0" x="836.0" y="446.0"/> |
| <y:Fill color="#00CCFF" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="320.5" y="153.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n1"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="165.0" width="378.0" x="967.5" y="529.7234718228985"/> |
| <y:Fill color="#3366FF" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="187.0" y="80.5"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n2"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="32.0" width="87.0" x="997.257667899421" y="559.2234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="42.53125" x="22.234375" y="7.015625">Tracer<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n3"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="101.0" width="167.0" x="957.257667899421" y="305.72347182289855"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="53.23046875" x="56.884765625" y="41.515625">Checker<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n4"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="246.0" x="1035.5" y="719.7234718228985"/> |
| <y:Fill color="#00CCFF" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="111.84765625" x="67.076171875" y="6.015625">Formal Testbench<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n5"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="30.0" width="246.0" x="1035.5" y="654.4469436457971"/> |
| <y:Fill color="#3366FF" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="89.171875" x="78.4140625" y="6.015625">FWRISC (DUT)<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n6"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="63.0" width="95.0" x="1367.5" y="534.7234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="54.033203125" x="20.4833984375" y="22.515625">Instr Init<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n7"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="63.0" width="95.0" x="1367.5" y="627.7234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="55.650390625" x="19.6748046875" y="22.515625">Data Init<y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="rectangle"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n8"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="1345.5" y="563.2234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n9"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="1345.5" y="656.2234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n10"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="957.257667899421" y="400.72347182289855"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n11"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="1118.257667899421" y="400.72347182289855"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n12"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="997.257667899421" y="559.2234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <node id="n13"> |
| <data key="d6"> |
| <y:ShapeNode> |
| <y:Geometry height="6.0" width="6.0" x="1078.257667899421" y="559.2234718228985"/> |
| <y:Fill color="#FFCC00" transparent="false"/> |
| <y:BorderStyle hasColor="false" raised="false" type="line" width="1.0"/> |
| <y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="1.0" y="1.0"> |
| <y:LabelModel> |
| <y:SmartNodeLabelModel distance="4.0"/> |
| </y:LabelModel> |
| <y:ModelParameter> |
| <y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/> |
| </y:ModelParameter> |
| </y:NodeLabel> |
| <y:Shape type="ellipse"/> |
| </y:ShapeNode> |
| </data> |
| </node> |
| <edge id="e0" source="n1" target="n0"> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="e1" source="n2" target="n1"> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="e2" source="n8" target="n6"> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="e3" source="n9" target="n7"> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="standard"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="e4" source="n12" target="n10"> |
| <data key="d9"/> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="none"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| <edge id="e5" source="n13" target="n11"> |
| <data key="d9"/> |
| <data key="d10"> |
| <y:PolyLineEdge> |
| <y:Path sx="0.0" sy="0.0" tx="0.0" ty="0.0"/> |
| <y:LineStyle color="#000000" type="line" width="1.0"/> |
| <y:Arrows source="none" target="none"/> |
| <y:BendStyle smoothed="false"/> |
| </y:PolyLineEdge> |
| </data> |
| </edge> |
| </graph> |
| <data key="d7"> |
| <y:Resources/> |
| </data> |
| </graphml> |
