From 8f1237a0a6fa15526f68b3ddc2d077b9ce0fb8de Mon Sep 17 00:00:00 2001
From: occheung <dc@m-labs.hk>
Date: Fri, 7 Aug 2020 13:39:43 +0800
Subject: [PATCH] nmigen: migrated

---
 nmigen/FPGA_pins.xlsx | Bin 0 -> 18249 bytes
 nmigen/fpga_config.py |  24 +++++++++
 nmigen/humpback.py    | 112 ++++++++++++++++++++++++++++++++++++++++++
 nmigen/pin_mapper.py  | 105 +++++++++++++++++++++++++++++++++++++++
 nmigen/resources.py   |  90 +++++++++++++++++++++++++++++++++
 5 files changed, 331 insertions(+)
 create mode 100644 nmigen/FPGA_pins.xlsx
 create mode 100644 nmigen/fpga_config.py
 create mode 100644 nmigen/humpback.py
 create mode 100644 nmigen/pin_mapper.py
 create mode 100644 nmigen/resources.py

diff --git a/nmigen/FPGA_pins.xlsx b/nmigen/FPGA_pins.xlsx
new file mode 100644
index 0000000000000000000000000000000000000000..2ecf161a9eeb33f845a0070f3aefe62bfbc92f22
GIT binary patch
literal 18249
zcmeIa1zQ|h_Bh<QySuv++%3V~-3bJDcXxsloS?zoEw}}OyGw9)dz;Mc&g|^IpWy#%
z9=f{kak=Mo)va3!(qQ1|07w8d001BX7@cIA>wy3Oao_*|8UPwpTh!LZ$<)S4U&Y<d
z)KQnw&Dx4M4;+*_2LKAh|G(G&!yYJ09Fgl`Mt*-Q@g%y<Ahld01kHXNFn~&{DA3iL
z(ErU?JIli2H7ooPStJ+Z6K6H*__8PK`Ivc)jdepnSbwV$e5C(im#Q8fCsW_R5k)5!
zPP~Jb=4lQ(o)8O;zJ9b>Iv~})u}6tbY(rS84A&e3Q^0R4b8$coWv#y%{+m`Y_ux|Z
zx}4f73fFMS6!O+jwCPV4G@g2wTMUxmk))o>m@aw+3M3lJG)79z4i72P9gfsZ?`8~)
zL06eW;@S~ceyl;Zc5o8Pvf<X0L|lE->W{Oe>-5s`^5~?FiM&#HXyL#x*Jseq67nYr
zn4AYFSVq=imb2Q7d-n=re3cnF`%b*_NU?#2-@Arq(vlS$XCjA9YE8dhFpwoC&&^32
z;8Qd>)Wp>#e{78JWmEVQY8(9h-7ESH%6`jbmk9Du7YVs{=<)jCKCkD|#Ey30$$9d=
zFY5~=0Py+>22l8qX<4tzOm+p#H5uTng9A=WeFsx3M<&L%_y3!Y{}0c>znNYZFDu`}
z3?FhT@f13EJF^mpEF$eHEYV7$;^QZ|j8q@}l^k!SlL{YM1vd~(+_&B5X?SUcFZy7R
z<YtqtED{x+m#o3HJS648-WiIP(jobSec47Yip$LP%uSlOlsmOcdn|2fQ*o~J&>Go?
zsdKSv<Z(uITo|+h{18n3G=HsrS<O|Wy9$sQ5#{6Zkg7(`oP&h%bl<t;!hHn6Fm9Qn
z$ux{XN28Am6<&i@B-i)2s><fv7F9-B4m_mp`X*LgmtyIiXwO~@av6h4q->~ntmEPX
z6gk(vT6JvaBbn~KoG?A5gJ(klkwnF-zz+4_lf;pnz)%+q0N92C0FZ#5akFA_wRNyG
zvbD8*>sw{2*0$+9=r2A6&rrRtu#|13``{oar1i=(E-NV#31Ed95Tj8RliJ6fYsOUh
zwo}v2kzwa}vDuD49AjbyZI(W?l6mEnr62wpoMfNGD9c|N(|L7B!t<{{0ClCX(GcH#
z;K#X&r6PLaUS;-aH9JxR^Rr1ktVi}X`68;AfQcktMnzDj64j{D6}OfuIu64a`UUwX
zN1?T5)`HREK5tN1Cq$qs27|<KL^Va`yuaO~0mxP8mz$oTSxj4hOO{Ro&#wm7NXV9p
z3ig#k&gBewJF){@dYlF~n9YmHJzL#GniKO=l2um+#mSf%2xX|^0P7Qp&Ke?3N|AA$
zD(~aKMiOpHDp!^Mv#towQ<EKnsy1<ElV=uOPz#!JvGq3Byk;ny1|J8VpCLM@`K22j
zuTk1KB_HN+`NGQb0}>rqLP?h5KB9RYC4A<n`b1{p+2ZaHcgZ~`rL<9vqE5UGL&(~5
zDYBHrD~xSV27OvZ3^xliv9VeqIFs>RZyFxGLO1S|YzG__?h2woBr+1ZGSrd&llAtP
zj{H~EVa-mnCDkvwjIYmL%`N!^yLZ}N9`#QS4Z}6HhSwHWkL-*#>hf0+`cwn9)R<V4
z2$Xk*1I}~4`)E0%UnP_F0xT!=3yYA`q`jc*LD>@@+4Mw+18k9?$3$E|kHfE}FNC0p
zFx{YySJ980U(jo4bX<a!t?Q{U^F??Nd4_Y(5zthoNPl$WEhnbKwYYbC0qgpf-P@?g
zHnoUkQBvkGmuM9to-~--@GR9DZ=FbUEB}DU{+yJYmkjFYZP1YZDE3PhLFaiw&B|KR
zqC(IOZhnU{&EL%4itC(|1C-M_x(iA1fLk(PSxAv3+fFeUovWmAmgamw;YY|Ta-x-{
zX@P$3IGH=NezHWL^+QFMEXb!6rg|2!WP)J=6FNDl+*M*W*rzz-z77nYkfbr49vG1&
zX#B9B-zASnuWQ+)b#QRp(Zqbe64JJdPhpU0&Zb7vA@YPo?gyyA5DJO%2Kt>U*M#Gd
z&%#sla1SFu1t)(d&oXYZ5ODNPWMt*^C8ry!T-A&QRrZ#x!X{BRjsIp(zT_q7nOf$8
z_9(<J-S~?%$!E>?xitE|9(F^1oF$3Kq%`lN+$!%q(f^u>{sM_9m%tg=0&G{f0B8{4
zO#Gu`{e3?Et9yX}e@p`B^Z(ngG9_8*US{NWxR+37*K`*Qlm#ay(j(PFB<P_!nk7n-
zcRp8Zc(g6L8ne<&V74Ldr(**yx9o_UU})Ffbj1;<;2vmJr@RohW0zxK&_>7QgaP6Z
zXsAaAho#4Gh+iDhng!wq>9f$ecJHVua6-Qpl8Rk5Plm94`oZkX`pI#EU>I1vN9wly
z9)gsQ$^+^e8;QTrnC-kai!R+jW(T+v{k+71k>o>g2mJgsO+t6q{r(2}qV35{*8PWN
z_tyvb9sE*h!f)*SULj7zp@ZT?zBKWUJ9%lXs;3)HB9Fr~ol6(=BUh(p+d~60YrshV
zckx~)yl9gm1ORN8003+t#-GL8(cIM3$&u;zf#t1=XJl&I;x#7+uR*208r<<)SKGt~
zkV92#4P}IaKstK5@=6&w;eWKcMF_k<?J1{iZJIT*b|+fL&rvRwut+Q0q>8UU7+ZU3
zdv>{b+<4j8J$YQZyqY?AIy!rPIGGx|WwITAJropdTg=Gj=hO3kb-F%2dE7X@*AET7
z>}-GB^YyqKSb45Q(nks%sMYDY4Q<@hCnEA~>u7Rodhuv#_qf|X8QAbt6IfeW)8pUu
zUG;5tyR-LgdT^q5dOXh4EDwoXDosD#Ge)R9)mIu=*&FAa3(Y>Q@NMPy^2MiX7W8WM
z7+rhaI2?-&En2jx)K^+Lo_Vh9e0Fp8c6}sMKOY%uOdsfsNy^Gz(d&G9OgVMERqyl~
z>3Ee{nYmubzP<OAeer#~Vj0-FkZk0fyLCl!%_j04X4j8e(>%6iYQR#T8)q+h#ZpaZ
ziG1ui<(&0%R2>t%Nm6>%QGcgC`x2OhFrKuKefV;1%bC5J^?K?e2ruY*_%c(mbXD0>
zXrbS3`vs{|?eI9%`_<?2<=N%dckgu7t7VA6s^Z59QubO_r+lR#$Mf#f=1RIT(!*(b
z4-rzIZ#KW)^950;ZRp{E=u4uLj~T&LN^7hBac}3IXsOO#&pCMM<%Vz5Y~<djwf3~v
z$9*yZ{Kxaom27Vwua1Y~rLE4j=X0jebS8bG%a7L!na;6u*)I?GXLgy7rZ08bUtaE8
zU%al}u206ESBO3~M_;OY-r1X~%XqZw(cYho)n`5mWM|NM4(dPOx|VWcb?#NV@LQx5
zBr7Z>X$3Bh7tH20Fx4a0BNfbky{VoK`FKpK?Q@g)*frw4myqpUIpkVmJqY|C(k`KR
zF!nKz_1(N52hnej^t$%CxKx*)W=tVg>NyhHP6qkh>FxS-qp~(|{%cufoyK)Bg;QL>
z{YLD06IJX0n-_U6%l>G^6L~?|_e#vSD|YMW0*xCkY1YM1E!BxJu>%#@XHT54Ba0k8
zm#24L__2&S9QT;#7cRq8f}Wr5d_YLon1%9V>X_a)JIv0w;Knl6C9w2G+WOybFQDmS
z0JRuc_Lm@V)Q{M-P;Sra|9V*@w6^qtZztiSypyU<01yO4>OAUA6H#P6Gv(%Vg0N0w
ziVGj5dVjQlp^KHGHdni-w6>fpmFbA|4SVDpLaf(qIwF&1Btj3f*(8-Nr9w&Mi9&%u
z3zTYkK}-GlS$utzjlbH+$MItk^&wNxB##3`)q`)I3Nu>DjU0q}HJAZmDlvBqy7Vc<
zO0FyZi;Au*f!}67q{bm~|At1XYzhq|`qLUieiQLyG~ce7v9#uEGhyh(4VfAzs4<=w
zO0ob`?MG0kpE>CI43}%%CK?h)mSi`<;+Qi$;ZLg!Rs6}C9Nw%%XRsENG**RGgh^0U
zD2a$Jht*4H>{EFRQFGi!25{mMvEVEiaMcgUDrv$(s+MH75~a=9@gn#}9|iR-`2(T9
z$&ePaM)(0$JId+Y8PFNjvi1*3M~<FfsAVriQGhB$QAztCgkh=4j$~!c15{9q4B=_f
z3|BbG0$de{FtZp&VDwvaF*4a9Jg_MsN3vqp=-(WXEw?r(EJ<)Jq;PRkKPZ^uf;f+{
zfqv66KEn2O+7+3XH`K8dVKe$TKE?i<C};Q&Xlhw>C>EvTMVk&F_V{Q4_is!O*y7>1
zx3tjmP<TBX`q=_#f5URV)$>Gei)7U!N3&5VTK$&wrlCrG|2&KH;Q85i8J#zh$L1N1
zzey?`58oD<{Ukjr!Zw-6R%7^=Rk-p2GUfg6D7i8T@;*1@e@2*sF4q3HFY0#<LoyJV
zWX9`BaI0&xdAE~)JLAn$s+QNypLGWJ<E+Cz9Q{LeN3yq=G<1Q|QOJ-n6w8q16k==v
zJ6%NL%p&}ECpSZfdW4OzOn&*}%2aU)Gh&jo@E{Wx^=zV{;4{`<ZOJeREgg14a+0*P
zAd?W(_yvNg0k^NC!F;YH)E4&7VzVy_$vc9HrVtal8AC+6$7xY?^DZQe7KRkTm5<W#
zX)+RKY{HtDT!-fIaPHPvA_<tYDyX$EL-17O?=o}fPY#@b<F2E~nRQhy@!0YbW&$K>
zAP}bZ>iVri!5IyQB7VR~-H!GK1+X$PoJg2`05YpQJmhSS+hgpdCOAqm$5xUslOjoD
zc_SJ~1bQJ&7h3t~sQDOo7d;+FMZ!!;SaW$sk^<{uIas0~&>IioE9}rHE%jx~7NM#A
zKv_Vmh|!XWohy{6WGJgBP%{eZ$mj<)NyhD`^%D^Vpm^OXQ)-g5+&B9Z`*aDU97rnR
zLUQuKY|L?_B+TAG;6T}-@j8Q!SOM{fIYDzgOp^Z^=bVI+Z`~EywJ}_*hZ7FZ<i8z_
z`OPXGM@j+HmCQS=6*#e5krSN&6a>G;lfO#@I>rqFsxc+_*H@^AU#S8LyEA<RLo!6v
zwb5myW>K9Mg*|YNgWh2RKs(`XWQfS$dB=@j`PVdUWs)ZF>J4=_!2J|Qy88KhSeSJR
zYIrk-Gg9WnjRk7u51wfP5@ruVX>&NY)RC<Z-(?w12wX}&0<D5Nz{dVBtCs2`(&cfa
zJQ9B!4D@I8RrRz4$-^&y0mwq6_&=GYU<#TnSjHfKyz0WS+_$2Z{wS)+lin)M?pybf
z3>^I)Cuq~ABUvxF=8874K)rcM=~CR2Lu7jbjJvErJ(s>6)^uO>L~i=&XG}DS7^2G!
zU&F8x(GYwk`Mb8f(K$CYemoK}YygUhW~@n}N_?7<A|@Uq96SkTRc+*~0X{{VeWFRf
zVq#wi?=PfW;k6%(R?IPZ^oP#m?|=u6<)7Zr(I+l9R-(zf5@sjlY0YS+)f<RgqTEq?
zKg(aPrl;O1xVRVwf+Uzg%IL2q$mm{(CTFfKh;qkd-+*l0B`Z$S(pg0yss9+C7PdIw
z_<;q#!{xIG1z)e-%%gxwRMFO0sq}==8`_#+L=AN@C9r;vtk>UGH{5n(x5J-=Np$kP
zS0QG*$h+$uNzJlFlDmM8yL>_409PWD)vHE|=)EM7%grU0wc67=ob9?DpPdoU_yzIg
z%tJ5Tn4Kc;L}T~bO&qGyQ41uXa`XbrroqnKso6J*h`VDE!gI8jUQHKSQjtimAcndz
zyFmP}K>YKbe~ri5bLqDT3~xNu#X4}=s==#U;verk{Ha)N{^5k1%}1;`?$--IvqL5s
z!Wj}ZErY=FxfcQM`0>$qsMtMXb+5ZE?l&{sIuN7xTwFE+2OQ(*1fI?_-lX#BhxR-2
zdft$v(+O4Foeent2l;q{pU(M4?4F92SJT!#C0o|gLNF5Hxa4j&5pm=ge^O!hKG4_a
zUT6>2Ks5y1o&cIlJt?>3j-Dn9mnaYR9scJ!9993p<LYqv2jgPk0Mg%dSPSy`gR`K-
zZUIE1yZ8@6lLdn>s)uTDtqh#Gnl8ZV{qyWN!X#^!BCW_-SPhSFM4;kzTja;Zc_IGx
z<@%1i!2CimZ-_y>d&6AHEpaKY>xnno7th98IK0sqa^=dk`wK#odKScUX>SI$+YWyc
zy&KTa^eOPkyONgF<s8ccjGVd6uDqT$2&;)slC1Jtk8k*jzOy7)HPU7q{(jcxQma20
zm(QEzSz{kN+MqO-P3s#{1qt*Vu=4yFCj5?^NYiYg-vBE!SeK3@9|?@`jKFzY&3QZI
z<3?{`^j8DRP7WgP-^!mDqBb#<WDs$hEzw^D<GNu~4P9t8v5_VnrFTH-&g%N3<H7i&
z^C8SVKe9Z{s9Z4;cPfC@)J$l{Vq`kSH1vBTNlsNQ9MO|yfJs&#Nm|D*!tDqo*I5I+
zFYIsQGL_^b_232W;&X&jmbQ-JMtEP?s%k&t@lVkW0b%dj1Ijp__(~=+x-rA@KFUyN
zexRTqbNr;BWgYdas>}8MylT__Fu^fnU@G!voyfK9vIBfJ?OXwiiIUf~tPYj|9A7?r
z?ChozKOBO-d#Tca8uOryALKeB4Fw)ko3ai!PR$PzjLEX<hbOwmo-Ay!`e+n>l{sY{
zd7PRMD3~MSAv{mnr5eOEoms!3?@t+XUE*?sbs{&=6sOg#q*k27y=YBtZ-it-w~{rJ
z+b=K-i1`>%)0TvLntT3P&V>7lm35<B(@YIA=D|S1D*a1?ah}+lvP-*IkG@f^Ri-a6
z2zM3`#y4NYy=L79sWKZs?btxl!7Pp~D+-p2^t_y3-Osjd*k?Nv-f8ZACc2gyxg(J)
zomkI4y7~?u`%-p!2ITh&)cOt_KoegC1Ncsu9*qpx7XjqMfn-1@WEhd9RN#zQdLgQN
z`Qu=ByO(On#fWA4CRQ_o+tCV4QURpRqf$XY=V3vF){Sd1K#6ss*ToD>lH2Y3S#ikB
z`~Ysek~TQg!2k&?P%addG}AemC;;(f^=Af6n5*PQo}I8shag*bI7LL7YZwEmV4XHI
zBX9sqbomjO6i|gYpcqm}2Uss1HZ(E-w3(IZr6j2?w4W1+A6j>;a_?4N8a9X!x^XM&
zn`D49p@akHC5!>A^B?&7Rum=tpBcf0T9CWK?FQ&uIsJg>%SP!zZ~FY!HDe2XxoMg;
zZrROaBFL|g1LjR85Z{kzJ+-j7|NT1_P(O)2HIW6hKb&&+Ia;lKZj2s-h1pyr%xDSv
z-}sZMHAi2<Q2@P^4bh|j9vw+71oZdWU;?$5vcgLP6Vkn$liUl%j3??fuUTRRayRd7
zNa6-e{&vyXSF9=Ynx^@;apu2|_h3$;mo}MGegGi*&VMT80V-2$S<ymN2^8v53p8ro
zu$1QD509-w(H7G1*jJkZJ&6)pzFU~^r$xCy<oc)rbjW@jXm%@hnoK8>H@Qy}y=;AC
zjP>x_WLf<<VJuecc>jW=_Od~cGQL>_j@9rbM6Ts`Zul@8eIZ508ta7y#KUTj2~z!z
z2tW{q<vuMGMg&QJVr-q$iwPXi9b9gbMI?CQj#|CbSNt>#=Zk0%!KGvM7Boad-hcZp
z+cC9Jtmn6{WqQ<<#{TrRf*EONgY_``?_f&cSWyh{0fXt+Vv=U;o@tqN0sC785eV&Y
za*01p55?5FKFPr$0}LWtQKS<85qrOEMe`X?Gvb)Ds}*=sFzs-vf1!(`YF$^P&Eo^e
z!5dJO;{HgAE_vd*1Kqd43w5dG!J_^dc>h4Pc1vIY;$G*ZcHRESLV%$D#5dQm-dzAO
zL{(Dac~HwXW)-6&z-KrI!*wjE;gJIR*^;8o&zS^3%LMM18&I<|e!$7;c-wm`p!rFE
zox&3NV$Q}C)z3*7FbM(jgxt;62cZ<{<Hgfa#loZMrr&GA?Y$<|)m`0^#_XQ-Db$0i
zd9(QN<ipeoB^>{!IO3(sgn<J^TRNNJ%wTrTyDpMb?)nE^&Ri-)RFiw>mSRYcG1=z6
zoLxvFUKP%hz~CX)2T*<l(q|s`-WQF`xv65lWA+8(dnx(!Nsts9#A>%La1@_RKJ!?Q
z0_)<omhN5<i*%jULyP2YEQ@r96rm!zEaZK4$H1K#1c9((n`Lo?1k;oE%ZW<>9`|1_
z8Y_<ShiahE$metC@fIf*cU*Zb_C#DV$<<i)$}b_OYOLab&)x*D4~qnX6?Sw@fuDVO
zisklwBIjh`QHTR7r!aJ;>8zD)*vsk>J|LJc-Gv$a^!VIBa|`PtS;$9RQaL-7<5f_U
z<Z+y}D}WzI-_EpIXyPxo3Sn3FqunOQs}I2nqxgy~8-l)<X%n*FL02zSri*b%-g0uM
zh}{fUZTXJgK+^|>lR5eDfkzB%cG<w)*)ag3@Ts$)RfrzIEG(g)VxkPYKgp3Fi3bld
z-H>Jkz*-5)Vw8!SnH%!NmPo;3vHMMOvFAyT90?|ayf8OZyODqB9Js?>V-UMTcUz~k
z>WpR#B5`uK&43#2M4CddkHJZ$K|FWb5?&1ezjJO$33PG>qgS*CJA_C&?2ks5ibF}Y
zy?HTy7?|2S&(F<%Oes6m1!&}K?t;VJ3H!sugX*sXjam5uYT>I(HXZKKHwJ?_xU-Ul
zX$&%Wb+}#fEY@<vW&+b*lxg6v(|JhQ4;ptgw=ah`SzkmVU7U_~3EJ#4CmRJpyjGb&
z9T3FRsZF^yC0ErI{v<?q+UyVBJvE1r|KwcGH{;*ZBCK1Pjz$wO6pJDgM|KCwxudbN
z&p|y1dZd*GN}*dQ#3HRg*fdnbj-dMZQ)m9Xd24f&Itad_i~MPM?pP5SeZHRcom9(c
zl+i@amu)wH77@xFqlzJHZXqdyqNPHKl=sTh&P(Wp$loO8aNJnA3H7apuoZ-YfWQ)o
zls=V7Qx*&|*clW4K;j*v`RJ0?{#|@x{i-QzwfvElY^UZ&W1rkFWu2HjJ4UOEaNu|y
z>tDd1CXUsS<>sAh?xb4iJB*s%5H6{Aj7~IAzM@J{9yw`a?$=ODx6lt8UF3e*#$poC
zO*koqMHM6M$e{q?aB9Wu#dXQRtK#)pj+%LLNZ~(d(I!*3W%%Hm&KGnC59S`u#0&$U
zx70*@S#=nkESaJyJ1R4s?4<uOj+pJd4hNd!$O#YYpd~ueNwc?4=RM0i2&&;6K>~eT
zTBGm?7$qd$mDTqxaR~b&9I4-mDX|94q_lO|aI~TQC3@u=y+1RWhytM>7{3ic)C~3U
z)r6a}P!38TIq_lxDT)tWm`9CO60S8U9<|)Ix`hQXr&Eb#s;8`t^5GWZ7)`c9*%t@W
zaWva+mGPD7`_J7Tyh`VejgkB2?UTD>M&K6i6l2udcvNHtK3-18SHH)U&;fb`2gn*o
ze-|D@Gjg5m^p#MV{t!sI9N)46e}T*ULtu~r=8^%A1W)kvXT+TBgNgBZr2l((2}_`<
zxcfB-(M}5?yG6o<^gx(4k1_XWm>PWEm8=hcnCYXI@9njc-#POR6Dtka?x(CRiw_&v
zCxhLd1|=TvzDWwQv1+Oq=d_B{7#A%qNMLP}=!Ol*$JE(sa{^Oh5r7F7D}#JCzt6}C
zqyd7@!N`xd4k=flhfKPoKPLwfkhF{-I1ux$U_p9Rwk|*6OFlNt*gNoa)WKWaN24U{
zY|2)quMs2G>>Zo5inSoe5>Z+79a28Cf7Qq{378(xyVd>7=*XQ9cW&@4zv?iNmPUh<
zAp6x!g0H%12;Wc71njyEW;foMgpii0H}G@9CkI1DDy++02ja+!t5~za$Rl?`(scUp
z!o5t9=GHvM-mN`Ft#c38Ypg8dk_!mRk>(7&#%ZBNlks$w8cBMl-mM~4t@9R1U&ev&
zWMrIK4va-9Dd^;bc}MQ2QXJtsK*!Ka)9De3EPEY6iZIGIY@c6!6go9cfZDGa3UsC<
zoHkYavHfMJXbX;cLg;P>PA0ijz5OVeOO5jt#qG5_<_(38QnzNP5-ZYaWNW`KW#{>^
z?A=1u50gOPZ$$}azSvKF8Lj3%w;H1+k{s=2Q$(e7FVK7`qCAxpr;3%SWeL$3j<O+x
zl$`@*_(-PVsm@s=hM7Z<*AYWJ3mPnQCgw@Bo!js-7dF_lX;vB^YlPd4Y6Mb@`*ad=
zn=_su*_b8grYR0(IDkTP^jL-*IkrG!Fy1A=B@9Lv=yZ7T@ns3<JE9)^;Hgxq{;d@G
z_yS)Vek{`$_^}<f<Q2`-Z4HuHcg9d>N<5$`hbG2-%O|*`>5w8kk1-V`%ewwLZa>*$
zLyQ054-QP`6UYq6@4WIz56Be@u1|izF4<h*{?mD&B`%t1)uOKyI5#{vkPq%b6NEVU
zPp1Xd)Kj;c@n?gro)qNi^f>ngc9(?a_kg~9bnwu-Z|4KT(Kr2>$Fs0>Z#DE<57BRi
z1Y^om)AZe5I{lF+uu{P{_uWtLs$0J2BO?WQ-Lzq+%YKj1d$G52Xs1{i2*8uxf`=zT
zUR`jk61R~gCe@1?n<GCE;q&1t#;AO@0d{p}!x;^!kG<r`<HWsSx!L?o{bmUodSL@d
z2=$w0@hM~3F-*}3$*VXlFum`f&xNqf$0Ms3$diE+phv9S4Jf2JqhE=ijM9)XL_NsS
z^}TLbs1pgHpvm;Nf#jft#y6OmpVh1g2Qup7WuB!C3q2Fi2~oh*Yy^7RWdwUch|9ba
zvxX#7y##j>=!i2#I=#-wmQodjp!h68T4J_3eYl03ACVQUTLWXFFib5cigV|7uoOw>
z6G(K{^aN}Zx+F4ndr4~}#?HYoBzUxM{FAh<XYfXyybO_qz(@+2%q5A_qepjype@ED
zE1D^)+eUZpND9^37ImNPrurwv$QWQuYEf!{OWQz4*Gf{qVYNP(ybDer4w`ZDs-`eD
z0n5#QPHueU%pcJ~1Xe1aUnQ#gwvwFC1=UwSC8R;q?7sPQP%5T0<G<O!tWw(HBYPod
zf=|Ve#Abv#7(|3Q@^5Gy5V{(F0;hs2O&6U?KV-U|v}T3sOoI2@d?3(f5<%6PzK_kQ
zhCEp~k2_|DABhBvsbv=r>CNw=s^xA;ZiQRYy~g{6z`~+4N?d}B5LAE|&)4-<R~kM6
z>&n2EG$l#U^%WNkNl9SPd$wX}4e&$Ol&#Pzt@Cd~`*(Rm*yloS2gD_Cz$U;4tU7la
zWoq8nUov8tjzG-mDcFHtRdHS)C}WD90j3Pl>l$yOwSR{^6F7m2KFB1Cu}UCzz2zRz
zwHk-SOezBxu)ma3OGg1R16Zw=QEtRR&T&u&K)ZfdOi{h^2U>WUfs|bbdTaK{c#5C!
z7xb=R8|8s~eM4`Wzr1PwJVPgK2y{!h*}8bsC3|=aG7?ZjAL=qyea`*y9SsjlV6sN@
z=`IUlA9Y1m-}eUsYn4!?PQtY}w_16c{!s<XrhnX=KT*#Z1B_UYE&Mp8;+yIw<y@<}
zD7_5z?2|@998XQw9DyyPJHOl2pw@L34)kY!S!U!5o;uc#fjmqVC%|MhctX~s(<8VA
z`dT!gpczsN{<}VuJBy2G3o`t^2(wSqZ=D1vRyBq#fxnCQSe;lug5_3&F;(m)_g(-I
zewATVreDGIPwJCV`WxI;FOEQdH-XaA8KcZ?Yg55<Zr7GGtP^3LI`2EdCBugPOt2li
z1dIoBK3w-5NxhnPJH^0OB&9Jp*hWoYTTCm7?yi*tRzUZemZo|}jb%NBcz`Aw4jJ}f
z27y~Jr>i<KHjwoShBFDa;M8oyoc83JFWN|*_0iS6dSKi4bmz3%T%cAt>J>x5&z#EB
z$41iq(2#jHQ111vqAf?AB)ZU$R}sHqpeK_i)$eCNoKy%gUJRc?qT0P_y@CO3-hO&4
z%~euKk?y@{aQ)WA^Dc4f{t1kgpdWR^pbpd%lo?MZ>)z92HTvr;3F|@p0Jh&GtQwGZ
zqmUuUZXV3YC848ZVjy;=%{}jIutCmC1kNo^F=cXuC!co*-Ee7_W=b=rL_5K@>bgdU
zk(ptUUB&F9E*9K~HSs7=R8TErzQ|6n3NyVr<T(wUdh)~*{7S!wEtu>3!9fC!8ru*j
z5{$`U6`{&H^3(KOOZpGw$e(!!OMCDpP33}}NKhx}%${aQB__uDpTv6l<+3YT+?}}&
zMF>^&Y<Enbzhqimw_+)WV>8)-CE#B?S%Sedfpu#0t-VyW>B$u6IV!J>c%GkK+qpg6
zADkboq!X#@Bffe#zwYcl_AE5^>^(K=KPSF^xaHLE5O}`bS^=)2c||`v+}^plK3-K;
zhL*~QdOoVZAl%%aoSg3yVV$n(JlVUx9-cd{J`4WO_2>6b3ev{F8;7=t-)?;Uz5eWE
zZfb4H^!xqy(({q#SS(&6Mkm&<SD{he*|{hI%w#Zc598BCxXL3^@d_~ubNdib$zv^O
zc=R77DFBekycE#(Yh-YkH~@mjK9O<Phx8W|@9ikI?TBHIOy|##t)Q5=2e*VoYo1T%
zV?ZnP$l){5NND7Fg|Fo(gvc|`Xk_;?*Z192K0!#(X2`K@(d>g;k_N_}Jl}A-p8H2g
ziXaabT>xAIG)i`ao9U^Tqjm^7$Z4K9wn)2S3H#dkFz!IFD9dz8Rd9E}r`UvO<b;k{
z)DPk6df}v|VfnMheg%QwawNdxj3&~SKvBwM9MDKGx*M5TecsRe=I_ApD3jwj$^#<9
zyMtwXAp#L*Sh5}}r@-PXe80NFDlizFx=3a@6g{fXm;xt*#s01+HQSmBp@-Vasqq29
zuS9pbirWevPum;Pj|xr0&MdODR`W2FdluAGpT7laOt}4Eo#FYKAieeT3zr+%@Kq@9
z-OpkqJ*P9s#Eq{6UelJhkQF{)!)MV1UbT}1L9*hVAbnAVkpxZ@pQazvXKYB`{XlF#
zb3u>!Qm^CgA7C|4nU-bLuk8GOnBtBbi>%9nuP35VqCCYUgeq>yd-PXY&abc^#)F*{
za?L>-Qsu1QrZ+lYf_Bqk=mm)9<7apMg&jUhqz7+{O%xn}BMDg=2(Lb!^&G0Nb^2W2
z&SiVwJj`(3FMmiPa}AqnX1Lv2>$n@&_lbRZUeWh`x`<tvPC1|K?|gnhvVA=t&sIXB
zW7Ij{m0#<4ep%x5eR<N?_ul`xig7m@5^Ets?jgoFftJ+;%72sa&YnNqKB|Pw-+1C!
zkzb`6%&V?{H1rT<E_fU~E*i<r_j<YdnhlfgJ^wqwC^RUyQSL+g4d*UV{*;}KbK1;D
zDl9s@TktK%wPo)N9uUHcWTA%Xq8cK!fl;&&<={PX3fTR%y8z_z1A*M>^Fx+QXvTY)
zTzTpP!vp7`)GY3B6=;G<@XeYV9OzsZFUKeNYp%<351}8r<W_K_eEqR7j>~RDmFRL_
zv;$m*4Lz|{5#ArND*Af+5efn%#$mS1xhRw#ObFpLDlx7?yO>|9h-#fTNrUs?vVV|`
zHb>*1y%+2snzVc;YmE0;ts@j+<n%oW$!BzhATOH)k!uC-<f8(lj;*#JghM?=1o+R+
zvLLGDTNu~dtuJHD=hZUm<cO^<5Z7knw(PD-k739mOlOJ6S69Zd5d0lZUV7Ni#E@#-
z<Q=^pek(dN<20Ya(=N<XNMnnglx`A7?+HC)=2F5wMo)o9dVe7jp3a;OR{kMf5W8Sv
z2u7qx4NIcmCg)Bs9GbM;<E<rcbd;g{p!sm=%#d-{K0+AiegD+*h-xxeZ|XO{w!mpT
zngJ6Lgkwz2?BxVUDt8Bm;$4ATouqEFYqLlSuRz3oEhjQX7nv<>Du2~U<M{+Jih$1N
z(<fLoy&z5#ngW~Q-Spa1W9Fy6596O;l2U6^`eo@G<=u=r`{T`pHG`w}$nq>}M`I<D
z(g^wvoC?SL+JQQs_);Fhcf<1~TJIdlWiQ3QM~*px2NrUh;wCMHth0txy0;E>k3n#-
zO4wcVe%qYFX37;+VJDbq9#tKu&~ku@CVOY~P_`X!Gv%X2G2r#(n!i+aWowj=rkb{&
z?xzd>7gbtO&M)toY)e<2#P<rXTUdlf^ah|US?9u92EumDkOR(@KcptDgkf06Vlb5Z
zpna1?Z>#`JH7NRX+Jc`RW)j2J`mkPY=SXEAaG93x$T~UO*|1GMW(*y{`$>5wfV|IN
zTAXbknJOJoIwl}J#x^WSw+u=OVQE9!Td?3<w`H9@Ce4p=U&KgXQAqu1<sGJB$=KYB
zKwqC0Q1B}cjqLzMr&;E#25mIQ9$r6zVmoG<Nk4ULL(VKutYKp<R5MxR8%VPKuAL|k
z4j#D*ia)k2kH6jv2cE_!uHJdIauAXyqi9R8@~6qDz?@cL%37Q>YTl#Sup6fvX!vaV
z;9GUFmlp$uA$8=FDK`)QAM;Xt-El^WwciN13Q$jwzNK*%p`Y|Mh^cL_6$H{0={_0_
zZ!2)bEU@<9hZ`lhLvoV0un+KAdmHfYSVD%Lw47O0AkAlcALx0jSdMGvYi6V&mi|(n
zk}o7WiEAvQMN}O47S%FVT2J3p(Z0bWp>j%N-&gX82o+$e#gb<HrNJ#Fg#F{**9r?x
z4P=ch^P}^no2WC7O>cRhxYmsN2fz8m6w324?-uWwvGFW0cldQ&`@TfB+#ozF|J+|A
zCuHvy{TMDpcGyY1MCpWiyNi;F@op>?J5?;+_b6!~(G{pom#4HSs#GF={bV{(+8z}6
zzE6^U_~b&|E}?t&KDq;Et$9YCBZb|Sl8?sGQC^=TBwhRY(^&J&_{sTC4gEQ&FwlLk
z#p3A2YnMvJPjjtbmAHP@OC9@sRmWv}80$8lh}Am&IRePUvzsr!?dh*l{iO2vtTbP2
zeyM$|^sa2C#jth>H)JKn9S4kV{1@3RMAO{7^J(Y*?8#N?WJ%S)TL{g8_rxRo(UTpW
z+^tL<-);oUPtvwrVn!cWgL*_1Ijyjw`Vnu?N-v8LYy&^pt%sp4C*}+jpTUjyc*0xb
zX#Z>e!y~HXz~t%E_<JdjB`N=#QH=`Kkgw^;WQ9_?_Vq(&b48@7MkWNR7#LdB@I<M7
zjrWhPCC*UYYTEtypg}b_t2~YAXhtIp3Dc{;2$atXW<MxFN!OCNe8es<6C{TS@39jh
z-+{diYNmgMA}w*ZaS<-riQ(zk4QLe|_%4xr85%tqQUM`h{gs755l>boO3Tq<Qd9r#
za~s>@!Qu)a<yXrtg(r>c2eY7LEYvuC@d#AZe)a0c-K2aL7OQdZd%LVzE$&FE6>6wH
z@LU0i%Z~+}rQdxo`hC>17KzN|Av8#3F6yR5@V0ZD;+lWt6`MTA@Y3Eb+I5x}#z%_U
z#<V(Wf1<w<3XKp~wmsxocT;mH4&_9xJm%5>*pvK_GG>B>cZa2L9xVpN{Ke(Vb0icW
zaB|49(&2lwitQ1$X=3N+gm~#xE(@{ZGxT#Pu_#~$F$lL~;o;{#!Ba)O;{=MkmVL|5
z2v{O1ByM@)jCh#p3(ie#?>-yLd|XY5TLn|>lVtht7O?*KMf{b(6YIFy+O??n*4|@K
zn?g59ziK_VJ&Aj=pD{2G0MAZAInF)7TL(z-{#x}Z<Ut*fKlBF~`9BKAMMlijp`7eL
zvGk<eQ>mSQ=-<=Tztd|){Jb&p^mC5(iyKjyb1Wt<{D*1mtc~p3NTk{wZxpC0I~Ig~
zvSjdDlWO?*^A)3JdNV`()n{BjI9oUL7Ik|0jh3-;zoH)eK>m=XmU&h_jjM}RMu-K`
z<61XVADKL6>JNtKQB+R2GE`s5spF~j<oY8Y^Cch`6VwF=Ny779a4t3znz!O%D&*>U
zRL#wUNxLtYgyWPc26vc9UxBIn-}gIujIc_r!vFxNd;kFYpSf*r=wNE1?Brl!^YM3z
zducD&Y)PPc=^MOuPdwK3<^2d=0@KSwj3<?7V7G<H)n2mBVQ^<~k9mGzI5<N@NAX}Q
zk=jMUNlHrcxw{@u$#(6uUA-A^J>HACEm>+_vg$nP;J5AcJ@K-j?2O`ZeeCggw0?GM
zT=6=2s$X#R@qXG9B)oa-$<%IL@jZFs!q<Cs_U(LqFutr=^<8YYX*e0{bhTwV41Byi
zetdqpwyu3?c&%Q**YjCTw{f+5t?^lPIq5iAZG^gAsW^28ei(msUlS`5545kmysPr{
z@#5m^Pk+9=J$|V2^lTF36IgDPm$x0>JJzlCS<n$=;s`wy-*|j^P`sR@E2E#Y4Q(~L
z4fm$;UTW{u>n!e{lQ$cgh~Y~Qsm(*u3gQ^X9AS#~SG|=+KE76PF>Pn`VuiQX`jM>5
z+op%?2A23!!xlProRu$<jy8K?Ui}jnN{;xEyGkqy-^)ag-;)NH2_X9sc{A`S)xFof
z9_d3?Fg9FAL{OA}O}~K&YC&i+ON)!)5y*G5ky*?gWaI7<G?K4H-!19;9Y~}0E#C8;
zx#lxZQdmrHu4sU{qr0CSE=+>>^g5i=gR@Bn#pT|F`|CtY-f+knyFK~81LH{+`(XYk
z6=cglQI$su347eZ4(Ni+n|D}_^JI&)0w`KY-0<=?p_YTYy(8f}{LZt>Hya^T107Dl
zNUDoC`4zs3<sz;{+Y4dioTaQh4jVZQIv=TC)aYzI!(uajZH_Tqc!+zd7lws1D6W?R
zPwWsaX6mc_x@zy>3Jeb5@OiBoIkS15<O%PKUx8zOAzA4IE)`3gR8U+u!azVl3G!qo
z2*+T8%3c1r#Wgm;c4wku9+=c=2!B|)*ztO!6Nqt<2=J@+L;~6l)|h2JAg!2dZ4#n`
z8KZf*)qkmI(?eTkhLPTaLZ*e-l$JVoj(@gJDVffyS^%Y&xQAc{0(nJchiomHz%K>n
z9DymxgLSdA7mNl21$7bR-JY}pdsewm<i@;ksf89#mI)iRako6dE;dR2td*gxVD<~v
zCK-n+eb~Vy=d7v@vA=DJ1m=(?C@mES@TyKEc-cLwA*8t{ivN-@xflRjPz-?Tz{V4i
z^4{UNMluaDxr2uJGLN<-p+7`t@SGx}w4w6U?n$>QA8|!<vQbfk3WxYE-&A%jiJnB;
zuswm<ZgDNByH(19qs|#T${|rKYcEPjJE@7$IZ;@P^}>q6Zf@G%jv-ei8QzLu+#G!9
zQb}{tRVhc@?gC1nGBNRUxg|(ZOUEpW5RC;$klM-1ypScOpP2kvPMXL`kp`HsnVjJa
zx|*!v48Gdf+Z%(QC?+wLXb)@|Lj?3$&FX2kZz!e;1d%y2JOU=<wobezQmU~TskHmo
z4Ntr!3rM$Nm4!fjnIB)}<Od63>OaEY1bwpvtih;Q0vf((JUPJYAcKW0+5}qK>p}76
zd2@++xRb-nk%FKXN};6SC^a93d=QP~#i3lY=YOiw75sip!aenIR>*JpV)z<Qu`5X9
z033iS2O0*65*#+pj_s@%81`k|5#d9{Im8aqOb!*>FBGB)t6wk(VQAG%%-UuROl-t*
zG8X6$B7rR3C?y}?@vh@WNunzq1cJ;N9JP$hDN2~5hlqfo_S0N<E10jhSXHGd6Ga6<
zf<w_@5wrb5L!eG<uTbzOwvfUeMsZaCC4^0}qm6tbJP<{Q#w>Tg>(|;N2`apmc-Unz
zbk64C@WXk%%|r(TAxqw!-pf^bi!s>GMO!<nG}92c*JN_*$)p7wL%9Nmih7EoI91ue
zqkY{RPH5KzuDd_O@_YEO6AZ^LUrk2Ia(~2&j-57_Do(6{ad-K;jw#=FRh*Qrp<%b6
zGS(RRA8P$%ccaaS85KG^!hA!{*oqa*gu-V1#{SnUD2i{N?my8x5vPvQ<iYRBY@x_7
zy212tPq~37K+O3&7P5dR;8^4|u}1v<$Q>Pwl3@W&>4*zQ#x;d3gQ)|hH`*-C)@#yl
zOfo--EVGL~^P#GMB$eL63`cJqr-yl{9GMSDARR;9oe*Le|0sNxFVC!LF9@A=1w(1f
zcPWrmkO}VWsO!ZYVlG8WYQVX4T#rsZdSTuE+)-`12!Wqq*;@o1d$Ee<<{c0^2ot8i
z9*cSQ72bquUB77B%7P?Z>Jr>fs>yPQNx2QLhk!^0ri$Nf5)rYl;1wKqYsMA;wE|7%
z`2hNhwfhIMhgZZVX4T0RNSK&#biFeSLMLdaQouDvM5$0xgh^AYY^V?~g%!9gKda}q
z&859bzHa9DCv)yi6=hz82`B^nIVQ_9Q88`GRX4XXYLb9*?8&n}oIvBPKClhvgx1nX
zR-v=-N5La1T`@nK++Qz38ce9fc4<vZlP-Qo0gWC5lW0P|+?}$ZvASh|A&SG4W*V;E
zUT*AsUx|K~4Dk7I0V97`8zVo1us9w|e;AxN@6yZ##R}++_p~++_GWulFbzLNe$uLd
zAb_a)Hz|vTaJhqaVt;lha|VZgsRFH(EJn@Zy=g2m*jJS4jN6fDjg<~HfEQtDcn7-X
zjUB|BaKL6+<k$1=Jx?6UM}AT}l?t)qUq&hKkQ*~;m#Th#iBtr`Cv2S;c8gqJmQ7qg
z`}H2YSRIxDnHdXZ{i}j5EH&c52OsJKnKp`MbAK$2PYzpb;$=b++WR_D`|Abw@3Gpb
z(OT|kR|W@nbl{U7Xpe`E_C%OV$c<UQ%uQq>3~-JA=#p#?fK#aGvUw7*I{Oeo%nn*|
zyC|l(M3?qqD@BUS&chyDNtgbl0NwsGm=1ZJ0-jS;M`T||zRu^knppFn9?BFrtBmM*
z%ZiUeBEw#}LBp}&O_hc;n2Xg8W}y0`lGg_zY3R&oXDkBTGwYwoq`HJzn4F#Hg_^^^
zHIkD8s{Dl-7C{D`+`gIZ=D(9n6K!EU?yF=2XUK+Tf6zi;X5IWWh!7Oz6hbOlFIp|P
z*;Wdh2!k`c4h0)5YlWWpq>>-i1#+#Rq8Y(5B=kw{lX*(sFak{t!I(Y1n&73tst$u#
zefVppBMJy#i$b4Y9&H=^m`ZbaVk_y|UT|S-u1@#YC?w}-mM}VzpX4d{@3-V?K{b-u
zF6LXx)aO5M<p>jMb|c{-V%4B~0(yrKzmW^Aw*)Zuk=%L&<JpSNZ3-$i)dLzMD&K2V
z#C?*kv1nq%Mm>g&OjUS(#2(~B0Ei>7or6}}2b}D&m?Xx*8Hhq=P&|c$B?Rpfw18ah
z(U_6?DYM;GVHkv?ISA8-EE>@5f*Xly!z+<ly|*GJAe(ChjUuu(H+W9;60CI#y)US+
zO75Lw8SGN8kR3DYLOt*4wD3KBDY`xP{hwz$j!;^!;=qkiw!kwU6yT;Q6I){i2U|Nw
zCSzL%(?2)f|KDCIpzEUI6{UNa(Sz3@UPXsI(;Lz^MV9=By(at(-k&p&yXsa+ilQFx
zR&rW5YNa6wQ0^@=?dilbxYi&FbZh)9#-~t>0#zv65K-m!U{v40fGztPG1a0N_my9x
zj{e6uYaxs!Jl~fOf%c$Q>ypE$g^qR3a%fQuO9A;D7l=E3vc}}jFXpsmG@eBm>ufPh
z)!^dX&giaP3bA5NLJl0H*P$hzfREUp;&L+jBoo((D#6H(v%%U~?WHzu7F~IIGi$i<
zdVjXp8nHE4<JH#+gp6me&t3N@>$9VOTfzWSG08wN^K0oxcZK}6o~5-`hH*sKgI2y|
zEL*Pqm}ConcKBTKJiWQ^owfn9?jI{2!YaOF>f)$fq42qXh%_pJS$2et;*whu%T_l)
z|5A5(Lxj-bDcenWb0NqL934mCp0tnie`a3}RH{%AF#C{z8)%XLo_&UPcK?@rK$rdb
z%7_=1-(p4%KBYVM4f86J(+pBeG7f?b>!~Q7{_br@SsrYxeZ%(Y{#piAadL(K*xGFM
z*ZpPf%vi4T`%s#tbvl;pq&y*85$op$)baGt$n3m9@D4~UKDEs-&E;RGYtyvBVd3<<
z0SsOhy)o2``J-l`4BI#(SxJ=nm|;tGNx2qf-K_>U3?A_*rtS>qLcc7_m^OzLqGBRr
zUgqi$3-?Bt(v3|F%599DW&!66*S3~QgSokzF9s7d+!z>B<v))S3cfNXWi))U?%Ift
zb_Qeo8m|v_9X1i#0GeK-M!>+shOYGan0LU1CPIC1eoG}U(4-s9_}bF=-87?_)B{KR
z@g;9-EstD?Lkm~=aZ(l%oK6PQ4I~)^+@2SnG~%UlZGhNoSEjr@R0xU-EEgdU1U}=a
z__JXLyfwJ5$%e{v%?pFzfNT@k_i^U&&`<4wLF{|Ju#apCu^Gk=?L!VwK9SdZKh{KE
zub8%8XD<&m@4s%VXO1R5Jq$enbMucgX%J8b;92wkerU<RBK5E1|9FIng7kkf_|L~H
z{EP7Im;w~}w}&nKlklHg&i^89175TG#|HF&694Be*}q5ufDf?0iT{80%>I+lKetZ)
z#mOE1-%9+~M#_J3`R4-IUtI2Ke{=cga@ao^{PSwvUksvIe>3>&+TA}%|9LUwFH#Hk
zKS=+1Y2=?A{<C@hMGpXY0@wTgtCjwfJm){E-`~mah5ttWXDw8ah5$wv0DuMl`2o9i
Jt=QYQ{|`j0PjmnP

literal 0
HcmV?d00001

diff --git a/nmigen/fpga_config.py b/nmigen/fpga_config.py
new file mode 100644
index 0000000..3d9bf38
--- /dev/null
+++ b/nmigen/fpga_config.py
@@ -0,0 +1,24 @@
+
+# If the design does not create a "sync" clock domain, it is created by the nMigen build system
+# using the platform default clock (and default reset, if any).
+
+from nmigen import *
+from humpback import *
+
+
+class SimpleBlink(Elaboratable):
+    def elaborate(self, platform):
+        led = platform.request("user_led", 0)
+        counter = Signal(24)
+        pin	= platform.request("gpioa", 0)
+
+        m = Module()
+        m.d.sync += counter.eq(counter + 1)
+        m.d.comb += led.o.eq(counter[23])
+        m.d.comb += pin.o.eq(led)
+        return m
+
+
+if __name__ == "__main__":
+    platform = HumpbackPlatform()
+    platform.build(SimpleBlink(), do_program=False)
diff --git a/nmigen/humpback.py b/nmigen/humpback.py
new file mode 100644
index 0000000..70a5c18
--- /dev/null
+++ b/nmigen/humpback.py
@@ -0,0 +1,112 @@
+# Strongly inspired by the migen build of humpback
+# Using STM32 Nucleo-H743ZI2 board
+# Note to self: Pin assignment differs from Nucleo-H743ZI
+
+import os
+import subprocess
+
+from nmigen.build import *
+from nmigen.vendor.lattice_ice40 import *
+from nmigen_boards.resources import *
+from resources import *
+from pin_mapper import *
+
+
+__all__ = ["HumpbackPlatform"]
+
+
+class HumpbackPlatform(LatticeICE40Platform):
+	device = "iCE40HX8K"		# Using ICE40HX8K-CT256
+	package = "CT256"
+	default_clk = "clk25"		# Point of deviation: Clock speed for humpback is fixed at 25MHz
+
+	# Acquire GPIO mappings from gpio_mapper
+	gpio_dict, global_gpio_dict = GPIOMapping()
+	resources = [
+
+		# Define clock
+		Resource("clk25", 0, Pins("K9", dir="i"),
+			Clock(25e6), Attrs(GLOBAL=True, IO_STANDARD="SB_LVCMOS")
+		),
+
+		# Define user LED
+		Resource("user_led", 0, Pins("H3", dir="o"),
+			Attrs(IO_STANDARD="SB_LVCMOS")
+		),
+
+		# Serial interfaces: Only including pins usable to STM32
+
+		# Define UART interfaces
+		# UART interface: There are no pull ups from humpback.
+		#		  Need to configure STM32 pins to pull up.
+		# Note: Use USART in asynchronous mode
+		UARTResource(0,
+			rx="T11", tx="M13", rts="M15", cts="T10",
+			attrs=Attrs(IO_STANDARD="SB_LVCMOS", PULLUP=1)
+		),
+
+		# UART1 interface: Read note for UART interface above
+		# UART1 interface is broken due to pin rearrangement introduced for Nucleo-H743ZI2
+		# Uncomment if fixed, or found an alternative (e.g. bit banging UART)
+#		*UARTResource(1,
+#			tx="M11", rx="T13", rts="A6", cts="B16",
+#			attrs=Attrs(IO_STANDARD="SB_LVCMOS", PULLUP=1)
+#		),
+
+		# Define SPI interfaces
+		# Note: Use "role=device" to make humpback a SPI slave
+		#	The ~CS pin is a global pin, but not being configured global.
+		SPIResource(0,
+			cs="R2", clk="C8", mosi="N5", miso="T2",
+			attrs=Attrs(IO_STANDARD="SB_LVCMOS")
+		),
+
+		# Define I2C interface
+		# Note: Need to program pull up in stm32
+		#	Use "role=device" to make humpback a I2C slave
+		I2CResource(0,
+			sda="T16", scl="M12",
+			attrs=Attrs(IO_STANDARD="SB_LVCMOS", PULLUP=1)
+		),
+
+
+		# TODO:STM32 GPIO pins, ignore other unusable pins as well
+		*GPIOResources(
+			pins_dict = gpio_dict, dir = "o",
+			attrs=Attrs(IO_STANDARD="SB_LVCMOS"),
+		),
+		*GPIOResources(
+			pins_dict = global_gpio_dict, dir = "o",
+			attrs=Attrs(GLOBAL=True, IO_STANDARD="SB_LVCMOS"),
+		),
+
+	]
+
+	connectors = []
+
+	# tool chain setup, using default ICE40 HX8K evaluation code
+	def toolchain_program(self, products, name):
+		iceprog = os.environ.get("ICEPROG", "iceprog")
+		with products.extract("{}.bin".format(name)) as bitstream_filename:
+           	# TODO: this should be factored out and made customizable
+			subprocess.check_call([iceprog, "-S", bitstream_filename])
+
+if __name__ == "__main__":
+   	from nmigen_boards.test.blinky import *
+   	HumpbackPlatform().build(Blinky(), do_program=False)
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/nmigen/pin_mapper.py b/nmigen/pin_mapper.py
new file mode 100644
index 0000000..c740522
--- /dev/null
+++ b/nmigen/pin_mapper.py
@@ -0,0 +1,105 @@
+import pandas as pd
+
+
+# Get dictionaries of:
+#	- Non-global GPIO to FPGA mapping
+#	- Global GPIO to FPGA mapping
+# (Ordered)
+def GPIOMapping():
+
+	# Standard extraction of data from excel file
+	data = pd.read_excel("nmigen/FPGA_pins.xlsx", skiprows = range(1,2))
+	df = pd.DataFrame(data, columns=["Designator", "Pin Name", "Net"])
+
+	stm32 = df[df.Net.str.startswith("STM32")]
+
+	# Change some GPIO mapping for Nucleo-H743ZI2
+	# Created a mapping from old pins to new pins
+	old_to_new_dict = {
+		# Old	: New
+		"PC1"	:"PB1"	,
+		"PC4"	:"PC2"	,
+		"PC5"	:"PF10"	,
+		"PA1"	:"PB2"	,
+		"PA7"	:"PE9"	,
+		"PA8"	:"PF2"	,
+		"PA9"	:"PF1"	,
+		"PA10"	:"PF0"	,
+		"PB1"	:"PF4"	,
+		"PC2"	:"PF5"	,
+		"PA2"	:"PF6"	,
+		"PB6"	:"PG6"	,
+		"PE13"	:"PG12"	,
+		"PF14"	:"PE14"	,
+		"PE14"	:"PE6"	,
+	}
+
+	# Extract data from stm32 dataframe to a dictionary
+	gpio_dict = {}
+	global_gpio_dict = {}
+
+	for index, row in stm32.iterrows():
+
+		# Replace old pins with new pins
+		# Note: There are 2 PE6 pins on Nucleo-H743ZI2
+		# This will remove 1 mapping of PE6, keys cannot be duplicated
+		key = row["Net"].split("_")[1]
+		if key in old_to_new_dict:
+			key = old_to_new_dict.pop(key)
+
+		dict_entry = {key: row["Designator"]}
+
+		# Insert mappings into dictionary
+		if "BIN" in row["Pin Name"]:
+			global_gpio_dict.update(dict_entry)
+		else:
+			gpio_dict.update(dict_entry)
+
+
+	return gpio_dict, global_gpio_dict
+
+
+# Function to provide mapping EEM pins to differential pins
+# Usage: 
+#	Positive pin:	<returned>[<eem_port_val>][<eem_port_ldvs_num>][0]
+#	Negative pin:	<returned>[<eem_port_val>][<eem_port_ldvs_num>][1]
+def diffMapping():
+
+	eem0 = [
+		# P+ve	, N-ve
+		[ "J3"	, "H1"  ],
+		[ "F5"	, "B1"  ],
+		[ "C1"	, "C2"	],
+		[ "F4"	, "D2"	],
+		[ "G5"	, "D1"	],
+		[ "G4"	, "E3"	],
+		[ "H5"	, "E2"	],
+		[ "G3"	, "F3"	],
+	]
+
+	eem1 = [
+		# P+ve	, N-ve
+		[ "L6"	, "L3"  ],
+		[ "H6"	, "F1"  ],
+		[ "H4"	, "G2"	],
+		[ "J4"	, "H2"	],
+		[ "J2"	, "J1"	],
+		[ "K1"	, "K3"	],
+		[ "L4"	, "L1"	],
+		[ "K4"	, "M1"	],
+	]
+
+	eem2 = [
+		# P+ve	, N-ve
+		[ "J5"	, "G1"  ],
+		[ "K5"	, "M2"  ],
+		[ "L7"	, "N2"	],
+		[ "M6"	, "M3"	],
+		[ "L5"	, "N3"	],
+		[ "P1"	, "M4"	],
+		[ "P2"	, "M5"	],
+		[ "R1"	, "N4"	],
+	]
+
+	return [eem0, eem1, eem2]
+
diff --git a/nmigen/resources.py b/nmigen/resources.py
new file mode 100644
index 0000000..0eeb3bc
--- /dev/null
+++ b/nmigen/resources.py
@@ -0,0 +1,90 @@
+from nmigen.build import *
+
+
+__all__ = ["I2CResource", "GPIOResources", "DiffResources"]
+
+
+def I2CResource(*args, sda, scl, conn=None, attrs=None, role="host"):
+	assert role in ("host", "device")
+
+	io = []
+
+	# sda line: I/O port for the data line
+	io.append(Subsignal("sda", Pins(sda, dir="io", conn=conn, assert_width=1)))
+
+	# sck line: I2C clock signal outputs from master to slave
+	if role == "host":
+		io.append(Subsignal("scl", Pins(scl, dir="o", conn=conn, assert_width=1)))
+	else:	#device
+		io.append(Subsignal("scl", Pins(scl, dir="i", conn=conn, assert_width=1)))
+
+	if attrs is not None:
+		io.append(attrs)
+	return Resource.family(*args, default_name="i2c", ios=io)
+
+# Auto create a resource list given a set of iCE40 pins and STM32 pin names (pins_dict)
+def GPIOResources(*args, pins_dict, dir = "o", invert=False, conn=None, attrs=None):
+
+	# Check data integrity: pins_dict must be a dict AND port must be from a to k
+	assert isinstance(pins_dict, dict)
+
+	# Debug: dir == "o"
+	assert dir == "o"
+
+	# List of resources to be returned
+	resources = []
+	for STM32_pin, iCE40_pin in pins_dict.items():
+
+		# Set all gpio pins to be output only for the time being
+
+		# TODO: Allow dir argument.
+		ios = [Pins(iCE40_pin, dir=dir, invert=invert, conn=conn)]
+		if attrs is not None:
+			ios.append(attrs)
+
+		# Extract GPIO port and port number from STM32_pin
+		# Strip "P" from P<port><port_num>
+		if STM32_pin.startswith('P'):
+			STM32_pin = STM32_pin[1:]
+
+		# Acquire port from <port><port_num>
+		port = STM32_pin[0].lower()
+		port_num = int(STM32_pin[1:])
+
+		# Insert gpio<port>.<portNum> into resources list
+		resources.append(Resource.family(*args, port_num, default_name=("gpio"+port), ios=ios))
+	return resources
+
+# Auto create a resource list for differential I/O
+def DiffResources(*args, eem_pins, invert=False, conn=None, attrs=None, dir):
+	# TODO: Everything
+
+	# assert dimensionality
+	assert isinstance(eem_pins, list)
+	assert isinstance(eem_pins[0], list)
+	assert isinstance(eem_pins[0][0], list)
+	assert isinstance(eem_pins[0][0][0], str)
+
+	# assert direction to be either input or output
+	# reject tristate or bidirectional pin
+	assert dir in ("i", "o")
+
+
+
+
+if __name__ == "__main__":
+
+	from pin_mapper import *
+	eem = diffMapping()
+	DiffResources(eem_pins = eem, dir = "o",
+		attrs=Attrs(IO_STANDARD="SB_LVCMOS")
+	)
+
+
+
+
+
+
+
+
+