MARC Record from Library of Congress

LEADER: 02447cam a2200325 a 4500
001 2008928131
003 DLC
005 20090320143447.0
008 080429s2008 nyua b 000 0 eng d
010 $a 2008928131
016 7 $aB0811595$2bccb
020 $a9781402085871
020 $a1402085877
035 $a(OCoLC)ocn227032779
040 $aBTCTA$cBTCTA$dYDXCP$dBAKER$dNLGGC$dBWX$dOCLCQ$dDLC
042 $alccopycat
050 00 $aTK7888.3$b.H45 2008
084 $a53.57$2bcl
084 $a54.31$2bcl
245 00 $aHigh-level synthesis :$bfrom algorithm to digital circuit /$cPhilippe Coussy, Adam Morawiec, editors.
260 $a[New York] :$bSpringer,$cc2008.
300 $axv, 297 p. :$bill. ;$c25 cm.
504 $aIncludes bibliographical references.
505 0 $aUser needs / Pascal Urard ... [et al.] -- High-level synthesis : a retrospective / Rajesh Gupta and Forrest Brewer -- Catapult synthesis : a practical introduction to interactive C synthesis / Thomas Bollaert -- Algorithmic synthesis using PICO / Shail Aditya and Vinod Kathail -- High-level SystemC synthesis with Forte's cynthesizer / Michael Meredith -- AutoPilot : a platform-based ESL synthesis system / Zhiru Zhang ... [et al.] -- "All-in-C" behavioral synthesis and verfication with CyberWorkBench / Kazutoshi Wakabayashi and Benjamin Carrion Schafer -- Bluespec : a general-purpose approach to high-level synthesis based on parallel atomic transactions / Rishiyur S. Nikhil -- GAUT : a high-level synthesis tool for DSP applications / Philippe Coussy ... [et al.] -- User guided high level synthesis / Ivan Augé and Frédéric Pétrot -- Synthesis of DSP algorithms from infinite precision specifications / Christos-Savvas Bouganis and George A. Constantinides -- High-level synthesis of loops using the polyhedral model / Steven Derrien ... [et al.] -- Operation scheduling : algorithms and applications / Gang Wang, Wenrui Gong, and Ryan Kastner -- Exploiting bit-level design techniques in behavioural synthesis / María Carmen Molina ... [et al.] -- High-level synthesis algorithms for power and temperature minimization / Li Shang, Robert P. Dick, and Niraj K. Jha.
650 0 $aElectronic digital computers$xDesign and construction$xData processing.
650 0 $aComputer hardware description languages.
650 0 $aSystem design$xData processing.
650 0 $aComputer-aided design.
700 1 $aCoussy, Philippe
700 1 $aMorawiec, Adam.