Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /

Εμφάνιση άλλων εκδόσεων (1)

Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog explains how you can write Verilog to describe chip designs at the RT-level in a manner that cooperates with verification processes. This cooperation can return an order of magnitude improveme...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Bening, Lionel (Συγγραφέας), Foster, Harry (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2000.
Θέματα:	Engineering. Computer hardware. Computer-aided engineering. Electrical engineering. Electronic circuits. Circuits and Systems. Computer Hardware. Computer-Aided Engineering (CAD, CAE) and Design. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

Reuse Methodology Manual for System-on-a-Chip Designs
ανά: Keating, Michael, κ.ά.
Έκδοση: (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)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A., κ.ά.
Έκδοση: (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)

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)

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

Analog Behavioral Modeling with the Verilog-A Language
ανά: Patrick, Dan Fitz, κ.ά.
Έκδοση: (1998)

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

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

Assertion-Based Design
ανά: Foster, Harry, κ.ά.
Έκδοση: (2005)

Principles of VLSI RTL Design A Practical Guide /
ανά: Churiwala, Sanjay, κ.ά.
Έκδοση: (2011)

Functional Verification Coverage Measurement and Analysis
ανά: Piziali, Andrew
Έκδοση: (2008)

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

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2008)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
ανά: Adams, R. Dean
Έκδοση: (2003)

Constraint-Based Verification
ανά: Yuan, Jun, κ.ά.
Έκδοση: (2006)

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

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

Structured Electronic Design Negative-Feedback Amplifiers /
ανά: Verhoeven, C. J. M., κ.ά.
Έκδοση: (2003)

The Designer’s Guide to Spice and Spectre
ανά: Kundert, Kenneth S.
Έκδοση: (1995)

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

Cannot write session to /tmp/vufind_sessions/sess_hnv07m71h68jh0d87cnfvcf55s