"[label=\"" + buffer.getDRAM()); if (buffer.redundant()) fw.write("\", style=dashed"); else fw.write(buffer.getSize() + "(" + buffer.getIdent() + ")\", style=bold");
"[label=\"" + (DRAM ? buffer.getDRAM().toString(): "not assigned\"")); if (DRAM) { if (buffer.redundant()) fw.write("\", style=dashed"); else fw.write(buffer.getSize() + "(" + buffer.getIdent() + ")\", style=bold"); }
    private static void bufferArc(OffChipBuffer buffer, FileWriter fw) throws Exception     {	fw.write(buffer.getSource().hashCode() + " -> " + buffer.getDest().hashCode() + 		 "[label=\"" + buffer.getDRAM());	if (buffer.redundant())	    fw.write("\", style=dashed");	else	    fw.write(buffer.getSize() + "(" + buffer.getIdent() + ")\", style=bold");	fw.write("];\n");	    }