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 /

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 /

This book contains extended and revised versions of the best papers presented at the 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, held in Tallinn, Estonia, in September 2016. The 11 papers included in the book were carefully reviewed and selected f...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Hollstein, Thomas (Επιμελητής έκδοσης), Raik, Jaan (Επιμελητής έκδοσης), Kostin, Sergei (Επιμελητής έκδοσης), Tšertov, Anton (Επιμελητής έκδοσης), O'Connor, Ian (Επιμελητής έκδοσης), Reis, Ricardo (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Σειρά:	IFIP Advances in Information and Communication Technology, 508
Θέματα:	Computer science. Computer hardware. Computer organization. Computer-aided engineering. Electronic circuits. Computer Science. Computer Systems Organization and Communication Networks. Computer Hardware. Computer-Aided Engineering (CAD, CAE) and Design. Circuits and Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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 /
Έκδοση: (2016)

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 /
Έκδοση: (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 /
Έκδοση: (2015)

Post-Silicon and Runtime Verification for Modern Processors
ανά: Wagner, Ilya, κ.ά.
Έκδοση: (2011)

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2006)

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers /
Έκδοση: (2013)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris, κ.ά.
Έκδοση: (2012)

Reuse Methodology Manual for System-on-a-Chip Designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (2002)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Hardware Software Co-Design of a Multimedia SOC Platform
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2009)

Embedded Software for SoC
Έκδοση: (2003)

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers /
Έκδοση: (2012)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

System Design with SystemC
ανά: Grötker, Thorsten, κ.ά.
Έκδοση: (2002)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
ανά: Patel, Hiren D., κ.ά.
Έκδοση: (2005)

Writing Testbenches Functional Verification of HDL Models /
ανά: Bergeron, Janick
Έκδοση: (2000)

Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI
Έκδοση: (2013)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2000)

Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2001)

The Simple Art of SoC Design Closing the Gap between RTL and ESL /
ανά: Keating, Michael
Έκδοση: (2011)

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany /
Έκδοση: (2006)

Verilog® Quickstart A Practical Guide to Simulation and Synthesis in Verilog /
ανά: Lee, James M.
Έκδοση: (1999)

The Complete Verilog Book
ανά: Sagdeo, Vivek
Έκδοση: (1998)

Verilog® Quicstart A Practical Guide to Simulation and Synthesis in Verilog /
ανά: Lee, James M.
Έκδοση: (2002)

The Designer’s Guide to Verilog-AMS, June 2004
ανά: Kundert, Kenneth S., κ.ά.
Έκδοση: (2004)

VHDL Coding Styles and Methodologies
ανά: Cohen, Ben
Έκδοση: (1999)

The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface /
ανά: Sutherland, Stuart
Έκδοση: (2002)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
ανά: Yuan, Fei
Έκδοση: (2008)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A., κ.ά.
Έκδοση: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
ανά: Sutherland, Stuart, κ.ά.
Έκδοση: (2007)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
ανά: Kuon, Ian, κ.ά.
Έκδοση: (2010)

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach /
Έκδοση: (2011)

Systemverilog for Verification A Guide to Learning the Testbench Language Features
ανά: Spear, Chris
Έκδοση: (2006)

SystemC Methodologies and Applications /
Έκδοση: (2003)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
ανά: Salcic, Zoran, κ.ά.
Έκδοση: (2000)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

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

Cannot write session to /tmp/vufind_sessions/sess_ion8ojldf94hrellp6tfqm6t4i