System-Level Design Techniques for Energy-Efficient Embedded Systems

System-Level Design Techniques for Energy-Efficient Embedded Systems

Show other versions (1)

System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis techniques that allow an effective design of embedded systems with low energy dissipation. The book provides an overview of a system-level co-design flow, illustrating throug...

Full description

Bibliographic Details
Main Authors:	Schmitz, Marcus T. (Author), Al-Hashimi, Bashir M. (Author), Eles, Petru (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	Boston, MA : Springer US, 2005.
Subjects:	Computer science. Computer hardware. Computer-aided engineering. Computer Science. Computer-Aided Engineering (CAD, CAE) and Design. Computer Hardware.
Online Access:	Full Text via HEAL-Link

Similar Items

System-Level Design Techniques for Energy-Efficient Embedded Systems
by: Schmitz, Marcus T.
Published: (2005)

System Design with SystemC
by: Grötker, Thorsten, et al.
Published: (2002)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
by: Sutherland, Stuart, et al.
Published: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
by: Patel, Hiren D., et al.
Published: (2005)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris, et al.
Published: (2012)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
by: Sutherland, Stuart, et al.
Published: (2007)

Analog Behavioral Modeling with the Verilog-A Language
by: Patrick, Dan Fitz, et al.
Published: (1998)

Reuse Methodology Manual for System-on-a-Chip Designs
by: Keating, Michael, et al.
Published: (2002)

Post-Silicon and Runtime Verification for Modern Processors
by: Wagner, Ilya, et al.
Published: (2011)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
by: Patel, Hiren D.
Published: (2005)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
by: Patra, Priyardarsan, et al.
Published: (2008)

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
by: Bening, Lionel, et al.
Published: (2000)

Verilog® Quickstart A Practical Guide to Simulation and Synthesis in Verilog /
by: Lee, James M.
Published: (1999)

Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
by: Bening, Lionel, et al.
Published: (2001)

The Complete Verilog Book
by: Sagdeo, Vivek
Published: (1998)

Verilog® Quicstart A Practical Guide to Simulation and Synthesis in Verilog /
by: Lee, James M.
Published: (2002)

The Designer’s Guide to Verilog-AMS, June 2004
by: Kundert, Kenneth S., et al.
Published: (2004)

VHDL Coding Styles and Methodologies
by: Cohen, Ben
Published: (1999)

Writing Testbenches Functional Verification of HDL Models /
by: Bergeron, Janick
Published: (2000)

The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface /
by: Sutherland, Stuart
Published: (2002)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
by: Yuan, Fei
Published: (2008)

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris
Published: (2006)

Interconnect Noise Optimization in Nanometer Technologies
by: Elgamel, Mohamed A., et al.
Published: (2006)

Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris
Published: (2008)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
by: Salcic, Zoran, et al.
Published: (2000)

VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers /
Published: (2015)

VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers /
Published: (2015)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
by: Kuon, Ian, et al.
Published: (2010)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
by: Mintz, Mike, et al.
Published: (2007)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
by: Sutherland, Stuart
Published: (2006)

VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Published: (2017)

System Specification & Design Languages Best of FDL’02 /
Published: (2003)

SystemC Methodologies and Applications /
Published: (2003)

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Published: (2004)

CMOS Current-Mode Circuits for Data Communications
by: Yuan, Fei
Published: (2007)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
by: Chinnery, David, et al.
Published: (2007)

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China /
Published: (2006)

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers /
Published: (2016)

Leakage in Nanometer CMOS Technologies
by: Narendra, Siva G., et al.
Published: (2006)

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