8 643 ectue : Spal: Doma Specfc HS James C. Hoe Depatmet of ECE Caege Mello Uvesty 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7 Houseeepg You goal today: see a eample of eally hghlevel sythess (ths lectue ot o Mdtem) Notces Hadout #4: lab, due oo, /6 Hadout #5: lab 3, due oo, /.5 wees to poject poposal.5 wee to mdtem Readgs sm Mlde, et al., Compute Geeato of Hadwae fo ea Dgtal Sgal Pocessg Tasfoms, TODAES, Apl. 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7
Coflct btw Hgh evel ad Geealty 8 643 F7 S3, James C. Hoe, CMU/ECE/CACM, 7 hgh level: tool ows bette tha you HS: tool decdes what you ca say ad what you mea RT sythess: geeal pupose but specal hadlg of stuctues le FSM, ath, etc. place ad oute: wos the same o matte what desg Spal ge: how hgh ca you go? 8 643 F7 S4, James C. Hoe, CMU/ECE/CACM, 7 http://www.spal.et/hadwae/dftge.html
Desg Space ad Qualty of Result 49 slces 3 thoughput 8 643 F7 S5, James C. Hoe, CMU/ECE/CACM, 7 [Mlde, et al., ] SPRA Famewo wat a of sze 4 SPRA automato stats hee whee most tools beg automatg the poblem 8 643 F7 S6, James C. Hoe, CMU/ECE/CACM, 7 Pcple : Doma owledge the system Pcple : Optmzato at a hgh level of abstacto
Vey Hgh evel Descpto 8 643 F7 S7, James C. Hoe, CMU/ECE/CACM, 7 ea Tasfoms ea tasfom s a mat vecto multplcato computg by defto taes O(N ) opeatos the mat has stuctue E.g. dscete Foue tasfom: y = N y y. y j.. y N- = j.. N- e.. N- j N.... N- e -/8 8 643 F7 S8, James C. Hoe, CMU/ECE/CACM, 7 e.g., 8 th oots of ut
8 643 F7 S9, James C. Hoe, CMU/ECE/CACM, 7 Fast Algothms Fast algothm factos the mat to a sequece of stuctued, spase matces cheape spase multples O(N log(n)) opeatos E.g. Cooley Tuey Factozato of 4 Mat fomula epesetato 4 4 4 D 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7 Factozato Rules E.g. Cooley Tuey s D s a dagoal mat of twddle factos s a stde pemutato mat AB=[a j, B] s the teso (o oece) poduct m m m m m D A a,a,a, a, a,a, a,a,a, a,a,a, B BB B e.g., B
Fast Foue Tasfom Algothms Recusvely factoze by Cooley Tuey ule utl oly leaf cases ema (e.g. fo ad ) 8 8 8 4 D 4 8 4 D D Epoetal umbe of alteatves Each uletee coespods a dffeet algothm All cost O(N log(n)) 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7 4 8 4 4 8 8 4 Descbg a Desg Space vs a Pot ( ) DCT dag, / F ( ) DCT P / / / 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7 ( ) ( V ) DCT DCT F Q ( V ) ( ) DCT S DCT D ( V ) DCT M M ( ) ( ) B ( DCT DST ) C F ( h) ( / d d ) ( / d Fd ( h)) ( h) Cc ( h ) E F DWT m D P / m / ( W ) ( DWT / ( W ) / ) P ( / W ) E t WHT ( WHT ) m Doe oce pe tasfom by a epet ad the tool becomes the epet
Vey Hgh evel Sythess 8 643 F7 S3, James C. Hoe, CMU/ECE/CACM, 7 Fomula to HW Gve whee s: apply, the apply, tmes paallel s a pemutato pemute s a dagoal scale B A A A 7 8 4 8 643 F7 S4, James C. Hoe, CMU/ECE/CACM, 7
8 Eample 8 643 F7 S5, James C. Hoe, CMU/ECE/CACM, 7 8 4 D D 4 8 8 4 (fomula s appled fom ght to left) Pease 8 Eample stage stage stage 3 8 643 F7 S6, James C. Hoe, CMU/ECE/CACM, 7
How about good HW? Fomulas map atually to combatoal dataflow, but ths s ethe good o ealstc What f wat 6K? Sequetal datapath to euse avalable HW detfy epeated eels statate eels ude esouce costats schedule computato to euse statated eels Do ths at fomula level wth math level owledge 8 643 F7 S7, James C. Hoe, CMU/ECE/CACM, 7 Teso as Steamg Ppele fully paallel 8 643 F7 S8, James C. Hoe, CMU/ECE/CACM, 7 fully steamed patally steamed e data paallel loops we see egula HS
Pease 8 stage stage stage 3 8 643 F7 S9, James C. Hoe, CMU/ECE/CACM, 7 Steamg Pease 8 f( 8 4) ) f( 8 4) ) f( 8 4) ) f(r f( 8 ) ) f( 8 4) ) f( 8 4) ) f( 8 4) ) f(r f( 8 ) ) stage stage stage 3 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7
teatve Reuse h h o euse 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7 teatvely euse patally teatve euse e data depedet loops we see egula HS teatve Pease 8,4,..., cost ; latecy Fe-gaed cotol ove cost/latecy tadeoff 8 643 F7 S, James C. Hoe, CMU/ECE/CACM, 7
8 643 F7 S3, James C. Hoe, CMU/ECE/CACM, 7 pagmas Rewte Rules fo Steamg ad Reuse 8 643 F7 S4, James C. Hoe, CMU/ECE/CACM, 7 Applcablty to othe tasfoms ad ad D WHT DCT (type ) H P A DP T R / T R / WHT
Towad Vey Hgh evel Ps 8 643 F7 S5, James C. Hoe, CMU/ECE/CACM, 7 s ge Easy to Use? 8 643 F7 S6, James C. Hoe, CMU/ECE/CACM, 7 http://www.spal.et/hadwae/dftge.html
Easy to Use fo Whom? Poweful? Vey! Easy to use? Not Really.... low level cyptc doma specfc paametes complety of tegatg, usg, tug ad valdatg a statated P wth a eclosg cotet f you wet to ge ght ow whch cofguato would you as fo fst? f ot good eough, how to get a bette oe..... do you ow what good eough s..... 8 643 F7 S7, James C. Hoe, CMU/ECE/CACM, 7 Dffeet Kds of Epets P Authos P Uses Applcato Developes Assemble, cofgue ad tegate multple Ps to buld lage chps Doma Epets Kow the udelyg algothms ad theoy specfc to the doma Hadwae Epets Ca buld HW based o a set of specs o SW mplemetato 8 643 F7 S8, James C. Hoe, CMU/ECE/CACM, 7
Mae geeato the P Why lmt to stuctual vew of desg Why ot offe also.... pe owledge about outcome & tadeoff of paamete combatos P specfc meagful paametezatos, that s, as how fast? stead of how may? pefomace self moto, teface potocol chece ay X whee P authos ca do bette tha P uses Shft budes fom P uses to P authos mae owledge ad epetse eusable 8 643 F7 S9, James C. Hoe, CMU/ECE/CACM, 7 Patg Thoughts Ecapsulatg doma owledge a doma specfc tool fo tuly hgh level desg automato Why s Spal DSP so good? As: t oly does lea DSP tasfoms (fotuately FFT s petty mpotat) vey well udestood mathematcs hghly stuctued, hghly egula computato eumeable desg space Udelyg appoach/famewo s geealzable!! 8 643 F7 S3, James C. Hoe, CMU/ECE/CACM, 7