"[label=\"" + buffer.getDRAM() + "\"");
"[label=\"" + buffer.getDRAM());
    public static void dumpGraph(LinkedList steadyTrav, String fileName)     {	try {	    FileWriter fw = new FileWriter(fileName);	    fw.write("digraph TraceDotGraph {\n");	    fw.write("size = \"8, 10.5\";\n");	    Iterator it = Util.traceNodeTraversal(steadyTrav);	    while (it.hasNext()) {		TraceNode node = (TraceNode)it.next();				fw.write(node.hashCode() + "[ label=\"" + node.toString() + "\"];\n");	    }	    Iterator buffers = OffChipBuffer.getBuffers().iterator();	    while (buffers.hasNext()) {		OffChipBuffer buffer = (OffChipBuffer)buffers.next();		fw.write(buffer.getSource().hashCode() + " -> " + buffer.getDest().hashCode() + 			 "[label=\"" + buffer.getDRAM() + "\"");		if (buffer.redundant())		    fw.write(", style=dashed");		else		    fw.write(", style=bold");		fw.write("];\n");	    }	    fw.write("}\n");	    fw.close();	}	catch (Exception e) {	    	}	    }