Professional Verification A Guide to Advanced Functional Verification /

Professional Verification A Guide to Advanced Functional Verification /

Professional Verification is a guide to advanced functional verification in the nanometer era. It presents the best practices in functional verification used today and provides insights on how to solve the problems that verification teams face. Professional Verification is based on the experiences o...

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

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

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

Effective Functional Verification Principles and Processes /
ανά: Vasudevan, Srivatsa
Έκδοση: (2006)

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

Metric- Driven Design Verification An Engineer's and Executive's Guide to First Pass Success /
ανά: Carter, Hamilton B., κ.ά.
Έκδοση: (2007)

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

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

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

System-on-a-Chip Verification Methodology and Techniques /
ανά: Rashinkar, Prakash, κ.ά.
Έκδοση: (2002)

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

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

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

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

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

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

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

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

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

The Designer’s Guide to High-Purity Oscillators
ανά: Hegazi, Emad, κ.ά.
Έκδοση: (2005)

The Designer's Guide to Jitter in Ring Oscillators
ανά: Ricketts, David, κ.ά.
Έκδοση: (2009)

Mosfet Modeling & BSIM3 User’s Guide
ανά: Cheng, Yuhua, κ.ά.
Έκδοση: (2002)

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

Design of Analog Fuzzy Logic Controllers in CMOS Technologies Implementation, Test and Application /
ανά: Dualibe, Carlos, κ.ά.
Έκδοση: (2003)

A Practical Guide for SystemVerilog Assertions
ανά: Vijayaraghavan, Srikanth, κ.ά.
Έκδοση: (2005)

Digital Radio Systems on a Chip A Systems Approach /
ανά: Chien, Charles
Έκδοση: (2001)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage /
Έκδοση: (2006)

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
ανά: Gupta, Sumit, κ.ά.
Έκδοση: (2004)

Circuit Techniques for Low-Voltage and High-Speed A/D Converters
ανά: Waltari, Mikko E., κ.ά.
Έκδοση: (2002)

Continuous-Time Sigma-Delta Modulation for A/D Conversion in Radio Receivers
ανά: Breems, Lucien, κ.ά.
Έκδοση: (2001)

Continuous-Time Delta-Sigma Modulators for High-Speed A/D Conversion Theory, Practice and Fundamental Performance Limits /
ανά: Cherry, James A., κ.ά.
Έκδοση: (2002)

Analog Circuit Design Scalable Analog Circuit Design, High Speed D/A Converters, RF Power Amplifiers /
Έκδοση: (2002)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2005)

Feedback Linearization of RF Power Amplifiers
ανά: Dawson, Joel L., κ.ά.
Έκδοση: (2004)

Design and Analysis of High Efficiency Line Drivers for xDSL
ανά: Piessens, Tim, κ.ά.
Έκδοση: (2004)

SOI Circuit Design Concepts
ανά: Bernstein, Kerry, κ.ά.
Έκδοση: (2000)

High Frequency Continuous Time Filters in Digital CMOS Processes
ανά: Pavan, Shanthi, κ.ά.
Έκδοση: (2000)

Electrothermal Analysis of VLSI Systems
ανά: Cheng, Yi-Kan, κ.ά.
Έκδοση: (2002)

Cmos Memory Circuits
ανά: Haraszti, Tegze P.
Έκδοση: (2002)

The Design and Implementation of Low-Power CMOS Radio Receivers
ανά: Shaeffer, Derek K., κ.ά.
Έκδοση: (2002)

Design and Analysis of Integrator-Based Log-Domain Filter Circuits
ανά: Roberts, Gordon W., κ.ά.
Έκδοση: (2002)

CMOS Cellular Receiver Front-Ends From Specification to Realization /
ανά: Janssens, Johan, κ.ά.
Έκδοση: (2002)

CMOS Data Converter for Communications
ανά: Gustavsson, Mikael, κ.ά.
Έκδοση: (2002)

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