SystemC Methodologies and Applications /

SystemC Methodologies and Applications /

SystemC has received a wide acceptance by users and tool vendors as the next generation system description language in order to deal with higher levels of abstraction for complex SoC designs. SystemC Methodologies and Applications gives a comprehensive survey on the state of the art of SystemC in in...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Müller, Wolfgang (Επιμελητής έκδοσης), Rosenstiel, Wolfgang (Επιμελητής έκδοσης), Ruf, Jürgen (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2003.
Θέματα:	Computer science. Computer hardware. Programming languages (Electronic computers). Computers. Computer-aided engineering. Electrical engineering. Electronic circuits. Computer Science. Programming Languages, Compilers, Interpreters. Theory of Computation. Circuits and Systems. Computer Hardware. Computer-Aided Engineering (CAD, CAE) and Design. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

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

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

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

System Specification & Design Languages Best of FDL’02 /
Έκδοση: (2003)

Hardware Verification with C++ A Practitioner’s Handbook /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

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

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

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

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2007)

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G., κ.ά.
Έκδοση: (2006)

A Practical Introduction to PSL
ανά: Eisner, Cindy, κ.ά.
Έκδοση: (2006)

SystemC: From the Ground Up
ανά: Black, David C., κ.ά.
Έκδοση: (2010)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
ανά: Singh, Leena, κ.ά.
Έκδοση: (2004)

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

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_ooi59qaht6bhgfg0subbk9tlmk