Separation Logic for High-level Synthesis
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digi...
Κύριος συγγραφέας: | Winterstein, Felix (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Σειρά: | Springer Theses, Recognizing Outstanding Ph.D. Research,
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ανά: Verma, Manish, κ.ά.
Έκδοση: (2007) -
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
Έκδοση: (2009) -
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
Έκδοση: (2007) -
Verilog: Frequently Asked Questions Language, Applications and Extensions /
ανά: Chonnad, Shivakumar, κ.ά.
Έκδοση: (2004) -
Logic Synthesis for FSM-Based Control Units
ανά: Barkalov, Alexander, κ.ά.
Έκδοση: (2009)