The Power of Assertions in SystemVerilog /

QR Code

The Power of Assertions in SystemVerilog /

Bibliographic Details
Main Authors:	Cerny, Eduard. (Author), Dudani, Surrendra. (Author), Havlicek, John. (Author), Korchemny, Dmitry. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Subjects:	Electronic circuits. Electrical engineering. Circuits and Systems. Electrical Engineering.

Similar Items

Low Power Design Essentials
by: Rabaey, Jan.
Published: (2009)

The Designer's Guide to Jitter in Ring Oscillators /
by: McNeill, John A., et al.
Published: (2009)

Inductive Powering : Basic Theory and Application to Biomedical Systems /
by: van Schuylenbergh, Koenraad., et al.
Published: (2009)

Creating Assertion-Based IP /
by: Foster, Harry D., et al.
Published: (2008)

Low Power UWB CMOS Radar Sensors
by: Paulino, Hervé., et al.
Published: (2008)

Substrate Noise Coupling in RFICs
by: Helmy, Ahmed., et al.
Published: (2008)

High Speed Serdes Devices and Applications /
by: Stauffer, David Robert., et al.
Published: (2009)

FinFETs and Other Multi-Gate Transistors /
Published: (2008)

New Methods of Concurrent Checking
by: Gössel, Michael., et al.
Published: (2008)

Design of High Voltage xDSL Line Drivers in Standard CMOS /
by: Serneels, Bert., et al.
Published: (2008)

Coupled Data Communication Techniques for High-Performance and Low-Power Computing /
Published: (2010)

Clocking in Modern VLSI Systems /
Published: (2009)

Wireless Transceiver Systems Design
by: Eberle, Wolfgang.
Published: (2008)

Power Distribution Networks with On-Chip Decoupling Capacitors
by: Popovich, Mikhail., et al.
Published: (2008)

SRAM Design for Wireless Sensor Networks : Energy Efficient and Variability Resilient Techniques /
by: Sharma, Vibhu., et al.
Published: (2013)

High-Resolution IF-to-Baseband SigmaDelta ADC for Car Radios /
by: Silva, Paulo., et al.
Published: (2008)

Fast Hopping Frequency Generation in Digital CMOS /
by: Farazian, Mohammad., et al.
Published: (2013)

Rapid Prototyping of Digital Systems SOPC Edition /
by: Hamblen, James O., et al.
Published: (2008)

Multi-Wafer Rotating MEMS Machines : Turbines, Generators, and Engines /
Published: (2010)

Silicon Devices and Process Integration : Deep Submicron and Nano-Scale Technologies /
by: El-Kareh, Badih.
Published: (2009)

SystemC: From the Ground Up, Second Edition /
by: Black, David C., et al.
Published: (2010)

Standardized Functional Verification
by: Wiemann, Alan.
Published: (2008)

Timing Optimization Through Clock Skew Scheduling
by: Kourtev, Ivan S., et al.
Published: (2009)

Ultra Wideband Circuits, Transceivers and Systems /
Published: (2008)

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering /
Published: (2013)

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering /
Published: (2013)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
by: Mohanty, Saraju P., et al.
Published: (2008)

Nanometer Technology Designs High-Quality Delay Tests /
by: Ahmed, Nisar.
Published: (2008)

Physical Layer Multi-Core Prototyping : A Dataflow-Based Approach for LTE eNodeB /
by: Pelcat, Maxime., et al.
Published: (2013)

MEMS-based Circuits and Systems for Wireless Communication /
Published: (2013)

CMOS Active Inductors and Transformers : Principle, Implementation, and Applications /
by: Yuan, Fei.
Published: (2008)

Proceedings of International Conference on VLSI, Communication, Advanced Devices, Signals & Systems and Networking (VCASAN-2013) /
Published: (2013)

Embedded Memories for Nano-Scale VLSIs /
Published: (2009)

Computer and Information Sciences III : 27th International Symposium on Computer and Information Sciences /
Published: (2013)

Design for Manufacturability and Statistical Design : A Constructive Approach /
by: Orshansky, Michael., et al.
Published: (2008)

Omnidirectional Inductive Powering for Biomedical Implants
by: Lenaerts, Bert., et al.
Published: (2009)

Superior-Order Curvature-Correction Techniques for Voltage References
by: Popa, Cosmin Radu.
Published: (2009)

Silicon-Based RF Front-Ends for Ultra Wideband Radios /
by: Safarian, Aminghasem., et al.
Published: (2008)

Biopotential Readout Circuits for Portable Acquisition Systems /
by: Yazicioglu, Refet Firat., et al.
Published: (2009)

Radio Frequency Integrated Circuits and Technologies
by: Ellinger, Frank.
Published: (2008)