The Verillog® Hardware Description Language

The Verillog® Hardware Description Language

xv From the Old to the New xvii Acknowledgments xxi 1 Verilog – A Tutorial Introduction 1 Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 11 Behavioral Modeling of Combinational Circuits Procedural...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Thomas, Donald E. (Συγγραφέας), Moorby, Philip R. (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2002.
Έκδοση:	Fifth Edition.
Θέματα:	Engineering. Programming languages (Electronic computers). Computers. Computer-aided engineering. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Programming Languages, Compilers, Interpreters. Theory of Computation. Computer-Aided Engineering (CAD, CAE) and Design. Electronics and Microelectronics, Instrumentation. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

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

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Substrate Noise Coupling in Mixed-Signal ASICs
Έκδοση: (2003)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
ανά: Silva, Francisco da, κ.ά.
Έκδοση: (2006)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
ανά: Bushnell, Michael L., κ.ά.
Έκδοση: (2002)

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /
ανά: Molitor, Paul, κ.ά.
Έκδοση: (2004)

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

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (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)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Popovich, Mikhhail, κ.ά.
Έκδοση: (2008)

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

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Έκδοση: (2003)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

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

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

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

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

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Dynamics of Microelectromechanical Systems
ανά: Lobontiu, Nicolae
Έκδοση: (2007)

System Level Design of Reconfigurable Systems-on-Chip
Έκδοση: (2005)

Design for Manufacturability and Yield for Nano-Scale CMOS
ανά: Chiang, Charles C., κ.ά.
Έκδοση: (2007)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

Optimized ASIP Synthesis from Architecture Description Language Models
ανά: Schliebusch, Oliver, κ.ά.
Έκδοση: (2007)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Exploring C for Microcontrollers A Hands on Approach /
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2007)

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
Έκδοση: (2006)

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

Cannot write session to /tmp/vufind_sessions/sess_s8h8qsus9e3j0dctg0pens1d6m