LEADER 05269nam 22008415 450 001 996465423103316 005 20200706125106.0 010 $a1-280-30716-1 010 $a9786610307166 010 $a3-540-24657-6 024 7 $a10.1007/b95732 035 $a(CKB)1000000000212318 035 $a(SSID)ssj0000171013 035 $a(PQKBManifestationID)11153522 035 $a(PQKBTitleCode)TC0000171013 035 $a(PQKBWorkID)10235134 035 $a(PQKB)10323810 035 $a(DE-He213)978-3-540-24657-2 035 $a(MiAaPQ)EBC3087288 035 $a(PPN)155204327 035 $a(EXLCZ)991000000000212318 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aHigher-Level Hardware Synthesis$b[electronic resource] /$fby Richard Sharp 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XVI, 196 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2963 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21306-6 320 $aIncludes bibliographical references and index. 327 $a1. Introduction -- 1. Introduction -- 2. Related Work -- 3. The SAFL Language -- 4. Soft Scheduling -- 5. High-Level Synthesis of SAFL -- 6. Analysis and Optimisation of Intermediate Code -- 7. Dealing with I/O -- 8. Combining Behaviour and Structure -- 9. Transformation of SAFL Specifications -- 10. Case Study -- 11. Conclusions and Further Work. 330 $aIn the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its ?unrealistic optimism,? Moore?s prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported Moore?s law for four decades have fuelled the computer revolution. However,this exponential increase in transistor density poses new design challenges to engineers and computer scientists alike. New techniques for managing complexity must be developed if circuits are to take full advantage of the vast numbers of transistors available. In this monograph we investigate both (i) the design of high-level languages for hardware description, and (ii) techniques involved in translating these hi- level languages to silicon. We propose SAFL, a ?rst-order functional language designedspeci?callyforbehavioralhardwaredescription,anddescribetheimp- mentation of its associated silicon compiler. We show that the high-level pr- erties of SAFL allow one to exploit program analyses and optimizations that are not employed in existing synthesis systems. Furthermore, since SAFL fully abstracts the low-leveldetails of the implementation technology, we show how it can be compiled to a range of di?erent design styles including fully synchronous design and globally asynchronous locally synchronous (GALS) circuits. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2963 606 $aElectronics 606 $aMicroelectronics 606 $aComputer hardware 606 $aMicroprocessors 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aElectronics. 615 0$aMicroelectronics. 615 0$aComputer hardware. 615 0$aMicroprocessors. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aElectronics and Microelectronics, Instrumentation. 615 24$aComputer Hardware. 615 24$aProcessor Architectures. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a621.39/2 700 $aSharp$b Richard$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597773 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465423103316 996 $aHigher-Level Hardware Synthesis$91026853 997 $aUNISA LEADER 01109nam a2200277 i 4500 001 991002362519707536 005 20020508194923.0 008 990129s1973 it ||| | ita 035 $ab10997817-39ule_inst 035 $aPARLA161128$9ExL 040 $aDip.to Filosofia$bita 082 0 $a335.4 100 1 $aCerreti, Giulio$0538647 245 10$aCon Togliatti e Thorez :$bquarant'anni di lotte politiche /$cGiulio Cerreti 260 $aMilano :$bFeltrinelli,$c1973 300 $a387 p. ;$c22 cm. 440 2$aI fatti e le idee. Saggi e biografie - Biblioteca di storia contemporanea ;$v247 650 4$aThorez, Maurice 650 4$aTogliatti, Palmiro 907 $a.b10997817$b21-09-06$c28-06-02 912 $a991002362519707536 945 $aLE005 320 TOG01. CER01. 01$g1$i2005000042423$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i11113480$z28-06-02 945 $aLE009 STOR.03.2-92$g1$i2009000112971$lle009$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12510828$z07-05-03 996 $aCon Togliatti e Thorez$9861196 997 $aUNISALENTO 998 $ale005$ale009$b01-01-99$cm$da $e-$fita$git $h0$i1