High-Level Synthesis From Algorithm to Digital Circuit /

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Coussy, Philippe (Επιμελητής έκδοσης), Morawiec, Adam (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2008.
Θέματα:	Engineering. Logic design. Microprocessors. Electronic circuits. Circuits and Systems. Processor Architectures. Logic Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

New Data Structures and Algorithms for Logic Synthesis and Verification
ανά: Amaru, Luca Gaetano
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J.
Έκδοση: (2017)

Testing of Interposer-Based 2.5D Integrated Circuits
ανά: Wang, Ran, κ.ά.
Έκδοση: (2017)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators
ανά: Rahimi, Abbas, κ.ά.
Έκδοση: (2017)

Fundamentals of Electronic Systems Design
ανά: Lienig, Jens, κ.ά.
Έκδοση: (2017)

High-Level Modeling and Synthesis of Analog Integrated Systems
ανά: Martens, Ewout S. J., κ.ά.
Έκδοση: (2008)

Device-Level Modeling and Synthesis of High-Performance Pipeline ADCs
ανά: Ruiz-Amaya, Jesús, κ.ά.
Έκδοση: (2011)

Formal Specification Level Concepts, Methods, and Algorithms /
ανά: Soeken, Mathias, κ.ά.
Έκδοση: (2015)

Debugging at the Electronic System Level
ανά: Rogin, Frank, κ.ά.
Έκδοση: (2010)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

System-Level Validation High-Level Modeling and Directed Test Generation Techniques /
ανά: Chen, Mingsong, κ.ά.
Έκδοση: (2013)

Circuit and Interconnect Design for RF and High Bit-Rate Applications
ανά: Veenstra, Hugo, κ.ά.
Έκδοση: (2008)

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach /
ανά: Izadian, Afshin, κ.ά.
Έκδοση: (2019)

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design
ανά: Chen, Weiwei
Έκδοση: (2015)

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)

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)

Analog Circuit Design High-speed Clock and Data Recovery, High-performance Amplifiers, Power Management /
Έκδοση: (2009)

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors /
ανά: Melikyan, Vazgen, κ.ά.
Έκδοση: (2018)

Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach /
Έκδοση: (2019)

Counterfeit Integrated Circuits Detection and Avoidance /
ανά: Tehranipoor, Mark (Mohammad), κ.ά.
Έκδοση: (2015)

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach /
Έκδοση: (2013)

Integrated Circuit Authentication Hardware Trojans and Counterfeit Detection /
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2014)

Design for High Performance, Low Power, and Reliable 3D Integrated Circuits
ανά: Lim, Sung Kyu
Έκδοση: (2013)

Compact Models and Measurement Techniques for High-Speed Interconnects
ανά: Sharma, Rohit, κ.ά.
Έκδοση: (2012)

Analog Circuit Design Smart Data Converters, Filters on Chip, Multimode Transmitters /
Έκδοση: (2010)

Introduction to Logic Circuits & Logic Design with VHDL
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Introduction to Logic Circuits & Logic Design with Verilog
ανά: LaMeres, Brock J., κ.ά.
Έκδοση: (2019)

Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC) /
ανά: Gangadharan, Sridhar, κ.ά.
Έκδοση: (2013)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
ανά: Czerwinski, Robert, κ.ά.
Έκδοση: (2013)

High-Performance Computing Using FPGAs
Έκδοση: (2013)

Trace-Based Post-Silicon Validation for VLSI Circuits
ανά: Liu, Xiao, κ.ά.
Έκδοση: (2014)

Debug Automation from Pre-Silicon to Post-Silicon
ανά: Dehbashi, Mehdi, κ.ά.
Έκδοση: (2015)

3D Stacked Chips From Emerging Processes to Heterogeneous Systems /
Έκδοση: (2016)

High Quality Test Pattern Generation and Boolean Satisfiability
ανά: Eggersglüß, Stephan, κ.ά.
Έκδοση: (2012)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
ανά: Palchaudhuri, Ayan, κ.ά.
Έκδοση: (2016)

Embedded Systems Design for High-Speed Data Acquisition and Control
ανά: Di Paolo Emilio, Maurizio
Έκδοση: (2015)

Analysis and Design of Networks-on-Chip Under High Process Variation
ανά: Ezz-Eldin, Rabab, κ.ά.
Έκδοση: (2015)

The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits /
ανά: Arora, Mohit
Έκδοση: (2012)

Disruptive Logic Architectures and Technologies From Device to System Level /
ανά: Gaillardon, Pierre-Emmanuel, κ.ά.
Έκδοση: (2012)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_epe5elpb3jcdopcne11kap5h1b