资源描述：
《Springer.Higher.level.Hardware.Synthesis.(2005).YYePG.LotB 》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、LectureNotesinComputerScience2963EditedbyG.Goos,J.Hartmanis,andJ.vanLeeuwenSpringerBerlinHeidelbergNewYorkHongKongLondonMilanParisTokyoRichardSharpHigher-LevelHardwareSynthesisSpringereBookISBN:3-540-24657-6PrintISBN:3-540-21306-6©2005SpringerScience+BusinessMedia,Inc.P
2、rint©2004Springer-VerlagBerlinHeidelbergAllrightsreservedNopartofthiseBookmaybereproducedortransmittedinanyformorbyanymeans,electronic,mechanical,recording,orotherwise,withoutwrittenconsentfromthePublisherCreatedintheUnitedStatesofAmericaVisitSpringer'seBookstoreat:http
3、://ebooks.springerlink.comandtheSpringerGlobalWebsiteOnlineat:http://www.springeronline.comForKateThispageintentionallyleftblankPrefaceInthemid1960s,whenasinglechipcontainedanaverageof50transistors,GordonMooreobservedthatintegratedcircuitsweredoublingincomplexityeveryye
4、ar.InaninfluentialarticlepublishedbyElectronicsMagazinein1965,Moorepredictedthatthistrendwouldcontinueforthenext10years.Despitebeingcriticizedforits“unrealisticoptimism,”Moore’spredictionhasremainedvalidforfarlongerthanevenheimagined:today,chipsbuiltusingstate-of-the-ar
5、ttechniquestypicallycontainseveralmilliontransistors.TheadvancesinfabricationtechnologythathavesupportedMoore’slawforfourdecadeshavefuelledthecomputerrevolution.However,thisexponentialincreaseintransistordensityposesnewdesignchallengestoengineersandcomputerscientistsali
6、ke.Newtechniquesformanagingcomplexitymustbedevelopedifcircuitsaretotakefulladvantageofthevastnumbersoftransistorsavailable.Inthismonographweinvestigateboth(i)thedesignofhigh-levellanguagesforhardwaredescription,and(ii)techniquesinvolvedintranslatingthesehigh-levellangua
7、gestosilicon.WeproposeSAFL,afirst-orderfunctionallanguagedesignedspecificallyforbehavioralhardwaredescription,anddescribetheimple-mentationofitsassociatedsiliconcompiler.Weshowthatthehigh-levelprop-ertiesofSAFLallowonetoexploitprogramanalysesandoptimizationsthatarenotem
8、ployedinexistingsynthesissystems.Furthermore,sinceSAFLfullyabstractsthelow-leveldetailsoftheimplementationtech
