diff options
| -rw-r--r-- | docs/device_resources.md | 19 | ||||
| -rw-r--r-- | docs/site_pip_usage.svg | 178 | ||||
| -rw-r--r-- | interchange/DeviceResources.capnp | 34 | ||||
| -rw-r--r-- | interchange/PhysicalNetlist.capnp | 8 |
4 files changed, 238 insertions, 1 deletions
diff --git a/docs/device_resources.md b/docs/device_resources.md index a2671c5..9793098 100644 --- a/docs/device_resources.md +++ b/docs/device_resources.md @@ -244,6 +244,25 @@ port. From there site routing continues per above.  +### Use of site PIPs + +It is important to note that site PIPs can only be used to access placed cells +inside that site. Site PIPs cannot be used as general route-thrus, to route +from site input to output. General route-thrus across entire sites should use +tile pseudo PIPs as described below - even if a site pin is being validly used +for one sink pin of a net that is located inside the site; site PIPs cannot +also be used to leave the site again to reach other sinks. + +LUT route-thrus, for example, might require both site PIPs and tile pseudo +PIPs. The site PIP would be used to route through the LUT in order to access +an associated flipflop input inside the site. The tile PIP would be used to +route across the entire site as part of the general, inter-tile, routing +problem. + +A diagram illustrating the legal and illegal uses is shown below. + + + ### Tile Types and site types To reduce data duplication in the device schema, both tiles and sites have a diff --git a/docs/site_pip_usage.svg b/docs/site_pip_usage.svg new file mode 100644 index 0000000..ebf5721 --- /dev/null +++ b/docs/site_pip_usage.svg @@ -0,0 +1,178 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.0//EN" "http://www.w3.org/TR/2001/PR-SVG-20010719/DTD/svg10.dtd"> +<svg width="38cm" height="33cm" viewBox="359 779 758 642" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> + <g> + <rect style="fill: #ffffff" x="400" y="780" width="500" height="640"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="400" y="780" width="500" height="640"/> + </g> + <g> + <rect style="fill: #ffffff" x="460" y="820" width="120" height="160"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="460" y="820" width="120" height="160"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="903.881"> + <tspan x="520" y="903.881"></tspan> + </text> + </g> + <g> + <rect style="fill: #ffffff" x="480" y="860" width="80" height="120"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="480" y="860" width="80" height="120"/> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="844.431"> + <tspan x="520" y="844.431">LUT6</tspan> + </text> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="884.245"> + <tspan x="520" y="884.245">LUT5</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="940" x2="360" y2="940"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="480" y1="920" x2="360" y2="920"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="900" x2="360" y2="900"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="880" x2="360" y2="880"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="960" x2="360" y2="960"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="460" y1="840" x2="360" y2="840"/> + <g> + <rect style="fill: #90ee90" x="720" y="900" width="80" height="80"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #008000" x="720" y="900" width="80" height="80"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="943.881"> + <tspan x="760" y="943.881"></tspan> + </text> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="924.245"> + <tspan x="760" y="924.245">DFF</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="580" y1="840" x2="940" y2="840"/> + <g> + <polygon style="fill: #ffffff" points="840,940 860,920 860,880 840,860 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="840,940 860,920 860,880 840,860 "/> + </g> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="700" y1="940" x2="720" y2="940"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="640" y1="880" x2="840" y2="880"/> + <g> + <polygon style="fill: #ffffff" points="680,980 700,960 700,920 680,900 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="680,980 700,960 700,920 680,900 "/> + </g> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="620,840 660,840 660,920 680,920 "/> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" points="560,880 640,880 640,960 680,960 "/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="860" y1="900" x2="940" y2="900"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="800" y1="920" x2="840" y2="920"/> + <g> + <rect style="fill: #ffffff" x="460" y="1020" width="120" height="160"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="460" y="1020" width="120" height="160"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1103.88"> + <tspan x="520" y="1103.88"></tspan> + </text> + </g> + <g> + <rect style="fill: #ffffff" x="480" y="1060" width="80" height="120"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="480" y="1060" width="80" height="120"/> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1044.43"> + <tspan x="520" y="1044.43">LUT6</tspan> + </text> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1084.43"> + <tspan x="520" y="1084.43">LUT5</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1140" x2="360" y2="1140"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1100" x2="360" y2="1100"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="480" y1="1120" x2="360" y2="1120"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1080" x2="360" y2="1080"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1160" x2="360" y2="1160"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="460" y1="1040" x2="360" y2="1040"/> + <g> + <rect style="fill: #ffffff" x="720" y="1100" width="80" height="80"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="720" y="1100" width="80" height="80"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="1143.88"> + <tspan x="760" y="1143.88"></tspan> + </text> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="1124.43"> + <tspan x="760" y="1124.43">DFF</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="580" y1="1040" x2="940" y2="1040"/> + <g> + <polygon style="fill: #ffffff" points="840,1140 860,1120 860,1080 840,1060 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="840,1140 860,1120 860,1080 840,1060 "/> + </g> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="700" y1="1140" x2="720" y2="1140"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="560" y1="1080" x2="840" y2="1080"/> + <g> + <polygon style="fill: #ffffff" points="680,1180 700,1160 700,1120 680,1100 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="680,1180 700,1160 700,1120 680,1100 "/> + </g> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="620,1040 660,1040 660,1120 680,1120 "/> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="640,1080 640,1080 640,1160 680,1160 "/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="860" y1="1100" x2="940" y2="1100"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="800" y1="1120" x2="840" y2="1120"/> + <g> + <rect style="fill: #90ee90" x="460" y="1220" width="120" height="160"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #008000" x="460" y="1220" width="120" height="160"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1303.88"> + <tspan x="520" y="1303.88"></tspan> + </text> + </g> + <g> + <rect style="fill: #ffffff" x="480" y="1260" width="80" height="120"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="480" y="1260" width="80" height="120"/> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1244.43"> + <tspan x="520" y="1244.43">LUT6</tspan> + </text> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="520" y="1284.43"> + <tspan x="520" y="1284.43">LUT5</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1340" x2="360" y2="1340"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="460" y1="1320" x2="360" y2="1320"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1300" x2="360" y2="1300"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1280" x2="360" y2="1280"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="480" y1="1360" x2="360" y2="1360"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="460" y1="1240" x2="360" y2="1240"/> + <g> + <rect style="fill: #ffffff" x="720" y="1300" width="80" height="80"/> + <rect style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x="720" y="1300" width="80" height="80"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="1343.88"> + <tspan x="760" y="1343.88"></tspan> + </text> + </g> + <text font-size="12.7998" style="fill: #000000;text-anchor:middle;font-family:sans-serif;font-style:normal;font-weight:normal" x="760" y="1324.43"> + <tspan x="760" y="1324.43">DFF</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="580" y1="1240" x2="940" y2="1240"/> + <g> + <polygon style="fill: #ffffff" points="840,1340 860,1320 860,1280 840,1260 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="840,1340 860,1320 860,1280 840,1260 "/> + </g> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="700" y1="1340" x2="720" y2="1340"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="560" y1="1280" x2="840" y2="1280"/> + <g> + <polygon style="fill: #ffffff" points="680,1380 700,1360 700,1320 680,1300 "/> + <polygon style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="680,1380 700,1360 700,1320 680,1300 "/> + </g> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="660,1240 660,1240 660,1320 680,1320 "/> + <polyline style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" points="640,1280 640,1280 640,1360 680,1360 "/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 20 8 4 8; stroke: #ff0000" x1="860" y1="1300" x2="940" y2="1300"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000" x1="800" y1="1320" x2="840" y2="1320"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="480" y1="920" x2="560" y2="880"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="680" y1="960" x2="700" y2="940"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 4; stroke: #008000" x1="840" y1="920" x2="860" y2="900"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="940" y="940"> + <tspan x="940" y="940">Legal - site routing</tspan> + <tspan x="940" y="956">used to access DFF</tspan> + <tspan x="940" y="972">input and output</tspan> + </text> + <text font-size="12.7998" style="fill: #000000;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="940" y="1120"> + <tspan x="940" y="1120">Illegal - not being</tspan> + <tspan x="940" y="1136">used to access bound</tspan> + <tspan x="940" y="1152">bel inside site; tile PIP</tspan> + <tspan x="940" y="1168">should be used instead</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="480" y1="1120" x2="560" y2="1080"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="840" y1="1080" x2="860" y2="1100"/> + <text font-size="12.7998" style="fill: #000000;text-anchor:start;font-family:sans-serif;font-style:normal;font-weight:normal" x="940" y="1320"> + <tspan x="940" y="1320">Illegal - red dashed</tspan> + <tspan x="940" y="1336">part not being used to</tspan> + <tspan x="940" y="1352">access bound bel inside</tspan> + <tspan x="940" y="1368">site; tile PIP should be used</tspan> + <tspan x="940" y="1384">instead for that part</tspan> + </text> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="480" y1="1320" x2="560" y2="1280"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="480" y1="1320" x2="460" y2="1320"/> + <line style="fill: none; fill-opacity:0; stroke-width: 2; stroke-dasharray: 10 4 2 4; stroke: #ff0000" x1="840" y1="1280" x2="860" y2="1300"/> +</svg> diff --git a/interchange/DeviceResources.capnp b/interchange/DeviceResources.capnp index 44313b8..e39f844 100644 --- a/interchange/DeviceResources.capnp +++ b/interchange/DeviceResources.capnp @@ -58,6 +58,14 @@ struct WireRef { annotation wireRef(*) :WireRef; using WireIdx = UInt32; +struct WireTypeRef { + type @0 :Ref.ReferenceType = parent; + field @1 :Text = "wireTypes"; + depth @2 :Int32 = 1; +} +annotation wireTypeRef(*) :WireTypeRef; +using WireTypeIdx = UInt32; + using WireIDInTileType = UInt32; # ID in Tile Type using SitePinIdx = UInt32; @@ -80,7 +88,10 @@ struct Device { tileList @4 : List(Tile); wires @5 : List(Wire); nodes @6 : List(Node); - primLibs @7 : Dir.Netlist; # Netlist libraries of Unisim primitives and macros + # Netlist libraries of Unisim primitives and macros + # The library containing primitives should be called "primitives", and + # the library containing macros called "macros". + primLibs @7 : Dir.Netlist; exceptionMap @8 : List(PrimToMacroExpansion); # Prims to macros expand w/same name, except these cellBelMap @9 : List(CellBelMapping); cellInversions @10 : List(CellInversion); @@ -89,6 +100,7 @@ struct Device { constraints @13 : Constraints; lutDefinitions @14 : LutDefinitions; parameterDefs @15 : ParameterDefinitions; + wireTypes @16 : List(WireType); ####################################### # Placement definition objects @@ -203,9 +215,29 @@ struct Device { ###################################### # Inter-site routing resources ###################################### + struct Wire { tile @0 : StringIdx $stringRef(); wire @1 : StringIdx $stringRef(); + type @2 : WireTypeIdx $wireTypeRef(); + } + + enum WireCategory { + # general interconnect, usually with many uphill and downhill pips and spanning multiple tiles + general @0; + # pin/local wires, carry chains, dedicated paths, everything else + special @1; + # the global clock network + global @2; + } + + # This is used to distinguish between different types of wires, in order to provide extra hints + # during routing, such as the category of wires. It is also intended to be able to describe + # complex routing requirements, such as global routing which requires a series of different types + # of wires to be used in succession + struct WireType { + name @0 : StringIdx $stringRef(); + category @1 : WireCategory; } struct Node { diff --git a/interchange/PhysicalNetlist.capnp b/interchange/PhysicalNetlist.capnp index 6758039..1ac268f 100644 --- a/interchange/PhysicalNetlist.capnp +++ b/interchange/PhysicalNetlist.capnp @@ -131,6 +131,14 @@ struct PhysNetlist { wire1 @2 : StringIdx $stringRef(); forward @3 : Bool; isFixed @4 : Bool; + # In case of a pseudo PIP also the traversed site + # needs to be added to the PhysPIP object + union { + noSite @5: Void; + # It is assumed that a pseudo PIP can traverse one + # site only + site @6: StringIdx $stringRef(); + } } struct PhysSitePIP { |
