strict digraph "main"
{
    rankdir="TB";
    splines="spline";

    node[ shape="box" height="0.375" width="1.5" fixedsize="True" fontname="Arial" fontsize="10" style="rounded" ];
    edge[ fontname="Arial" fontsize="10" arrowsize="0.5" labeldistance="1.5" ];
    ranksep=".25"
    {rank="min"; "TLR"}
    {rank="same";"SDRS","SIRS"}
    {rank="same";"CDR","CIR"}
    "CDR"[ label="Capture-DR" ];
    "CIR"[ label="Capture-IR" ];
    "E1DR"[ label="Exit1-DR" ];
    "E1IR"[ label="Exit1-IR" ];
    "E2DR"[ label="Exit2-DR" ];
    "E2IR"[ label="Exit2-IR" ];
    "PDR"[ label="Pause-DR" ];
    "PIR"[ label="Pause-IR" ];
    "RTI"[ label="Run-Test/\nIdle" ];
    "SDR"[ label="Shift-DR" ];
    "SDRS"[ label="Select\nDR-Scan" ];
    "SIR"[ label="Shift-IR" ];
    "SIRS"[ label="Select\nIR-Scan" ];
    "TLR"[ label="Test-Logic-\nReset" ];
    "UDR"[ label="Update-DR" ];
    "UIR"[ label="Update-IR" ];
    "CDR" -> "E1DR"[ taillabel="1" ];
    "CDR" -> "SDR"[ label="0" ];
    "CIR" -> "E1IR"[ taillabel="1" ];
    "CIR" -> "SIR"[ label="0" ];
    "E1DR" -> "PDR"[ label="0" ];
    "E1DR" -> "UDR"[ taillabel="1" ];
    "E1IR" -> "PIR"[ label="0" ];
    "E1IR" -> "UIR"[ taillabel="1" ];
    "E2DR" -> "SDR"[ taillabel="0" ];
    "E2DR" -> "UDR"[ label="1" ];
    "E2IR" -> "SIR"[ taillabel="0" ];
    "E2IR" -> "UIR"[ label="1" ];
    "PDR" -> "E2DR"[ label="1" ];
    "PDR" -> "PDR"[ label="0" ];
    "PIR" -> "E2IR"[ label="1" ];
    "PIR" -> "PIR"[ label="0" ];
    "RTI" -> "SDRS"[ taillabel="1" ];
    "RTI" -> "RTI"[ label="0" ];
    "SDR" -> "E1DR"[ label="1" ];
    "SDR" -> "SDR"[ label="0" ];
    "SDRS" -> "CDR"[ label="0" ];
    "SDRS" -> "SIRS"[ taillabel="1" ];
    "SIR" -> "E1IR"[ label="1" ];
    "SIR" -> "SIR"[ label="0" ];
    "SIRS" -> "CIR"[ label="0" ];
    "SIRS" -> "TLR"[ taillabel="1" ];
    "TLR" -> "RTI"[ label="0" ];
    "TLR" -> "TLR"[ label="1" ];
    "UDR" -> "RTI"[ label="0" ];
    "UDR" -> "SDRS"[ label="1" ];
    "UIR" -> "RTI"[ label="0" ];
    "UIR" -> "SDRS"[ label="1" ];
}