A Practical Guide for SystemVerilog Assertions

A Practical Guide for SystemVerilog Assertions

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Vijayaraghavan, Srikanth
Άλλοι συγγραφείς:	Ramanathan, Meyyappan
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer Science+Business Media, Inc. 2005
Θέματα:	Engineering Computer engineering Electronics Systems engineering Electronic and Computer Engineering Electronics and Microelectronics, Instrumentation Circuits and Systems
Διαθέσιμο Online:	http://dx.doi.org/10.1007/b137011

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

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

Sub-threshold Design for Ultra Low-Power Systems
ανά: Wang, Alice
Έκδοση: (2007)

CPU Design: Answers to Frequently Asked Questions
ανά: Thimmannagari, Chandra M. R.
Έκδοση: (2005)

METHODOLOGY FOR THE DIGITAL CALIBRATION OF ANALOG CIRCUITS AND SYSTEMS
ανά: Pastre, Marc
Έκδοση: (2006)

Physical Design Essentials An ASIC Design Implementation Perspective
ανά: Golshan, Khosrow
Έκδοση: (2006)

Design of Wireless Autonomous Datalogger ICβs
ανά: Claes, Wim
Έκδοση: (2005)

Advanced BDD Optimization
ανά: Ebendt, RΓΌdiger
Έκδοση: (2005)

Fault Diagnosis of Analog Integrated Circuits
ανά: Kabisatpathy, Prithviraj
Έκδοση: (2005)

Transient Analysis of Electric Power Circuits Handbook
ανά: Shenkman, Arieh L.
Έκδοση: (2005)

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

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
ανά: Steyaert, Michiel
Έκδοση: (2006)

Calibration techniques in nyquist A/D converters
ανά: Ploeg, Hendrik
Έκδοση: (2006)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna
Έκδοση: (2006)

Ξ£Ξ A/D CONVERSION FOR SIGNAL CONDITIONING
ανά: Philips, Kathleen
Έκδοση: (2006)

Wide-Bandwidth High-Dynamic Range D/A Converters
ανά: Doris, Konstantinos
Έκδοση: (2006)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering
ανά: U, Seng-Pan
Έκδοση: (2006)

Feedforward Amplifiers for Wideband Communication Systems
ανά: Legarda, Jon
Έκδοση: (2006)

TRANSISTOR LEVEL MODELING FOR ANALOG/RF IC DESIGN
ανά: GRABINSKI, WLADYSLAW
Έκδοση: (2006)

Digital Phase Lock Loops Architectures and Applications
ανά: Al-araji, Saleh R.
Έκδοση: (2006)

Broadband Fixed Wireless Access A System Perspective
ανά: Engels, Marc
Έκδοση: (2006)

Ultra-Low Power Wireless Technologies for Sensor Networks
ανά: Otis, Brian
Έκδοση: (2007)

Matching Properties of Deep Sub-Micron MOS Transistors
ανά: Croon, Jeroen A.
Έκδοση: (2005)

Digital Synthesizers and Transmitters for Software Radio
ανά: Vankka, Jouko
Έκδοση: (2005)

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

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
ανά: Sakurai, Takayasu
Έκδοση: (2006)

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
ανά: Vachoux, A.
Έκδοση: (2006)

BioMEMS
ανά: Urban, Gerald A.
Έκδοση: (2006)

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
ανά: Yao, Libin
Έκδοση: (2006)

Adaptive Techniques for Mixed Signal System on Chip
ανά: Fayed, Ayman
Έκδοση: (2006)

FPGA Implementations of Neural Networks
ανά: Omondi, Amos R.
Έκδοση: (2006)

Software-Implemented Hardware Fault Tolerance
ανά: Goloubeva, Olga
Έκδοση: (2006)

High-Speed Photodiodes in Standard CMOS Technology
ανά: RadovanoviΔ, SaΕa
Έκδοση: (2006)

Power Management of Digital Circuits in Deep Sub-Micron CMOS Technologies
ανά: Henzler, Stephan
Έκδοση: (2006)

Statistical Analysis and Optimization for VLSI: Timing and Power
ανά: Srivastava, Ashish
Έκδοση: (2005)

Data Mining and Diagnosing IC Fails
ανά: Huisman, Leendert M.
Έκδοση: (2005)

ESD Design for Analog Circuits
ανά: Vashchenko, Vladislav A
Έκδοση: (2010)

Extreme Statistics in Nanoscale Memory Design
ανά: Singhee, Amith
Έκδοση: (2010)

Coupled Data Communication Techniques for High-Performance and Low-Power Computing
ανά: Ho, Ron
Έκδοση: (2010)

Digital Timing Measurements From Scopes and Probes to Timing and Jitter
ανά: Maichen, Wolfgang
Έκδοση: (2006)

Fundamentals of Solid State Engineering
ανά: Razeghi, Manijeh
Έκδοση: (2006)

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