High-level synthesis : from algorithm to digital circuit

The successful usage of Hardware Description Languages like VHDL and Verilog in design flows is mainly due to the availability of efficient synthesis methods and tools that enable the translation of RTL designs into optimized gate-level implementations. Many expect that the same approach could be ef...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Andere auteurs: Coussy, Philippe (Publishing director), Morawiec, Adam, 19..-...., auteur en microélectronique (Publishing director)
Formaat: Livre numérique
Taal:Anglais
Gepubliceerd in: Dordrecht : Springer Netherlands 2008.
Cham : Springer Nature
Online toegang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Opmerking: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• High-Level Synthesis, From Algorithm to Digital Circuit, Philippe Coussy (éd.), 1˚éd., [Berlin], Springer Science + Business media B.V., 2008, 1 volume (xv-297 pages), 978-1-4020-8587-1
• High-Level Synthesis, Texte imprimé, 9789048120598
• High-Level Synthesis, Texte imprimé, 9789048179237
Inhoudsopgave:
  • User Needs
  • High-Level Synthesis: A Retrospective
  • Catapult Synthesis: A Practical Introduction to Interactive C Synthesis
  • Algorithmic Synthesis Using PICO
  • High-Level SystemC Synthesis with Forte's Cynthesizer
  • AutoPilot: A Platform-Based ESL Synthesis System
  • All-in-C Behavioral Synthesis and Verification with CyberWorkBench
  • Bluespec: A General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions
  • GAUT: A High-Level Synthesis Tool for DSP Applications
  • User Guided High Level Synthesis
  • Synthesis of DSP Algorithms from Infinite Precision Specifications
  • High-Level Synthesis of Loops Using the Polyhedral Model
  • Operation Scheduling: Algorithms and Applications
  • Exploiting Bit-Level Design Techniques in Behavioural Synthesis
  • High-Level Synthesis Algorithms for Power and Temperature Minimization.