Creating Assertion-Based IP /

QR Code

Creating Assertion-Based IP /

Bibliographic Details
Main Authors:	Foster, Harry D. (Author), Krolnik, Adam C. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Series:	Integrated Circuits and Systems,
Subjects:	Electronic circuits. Computer-aided engineering. Electrical engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electrical Engineering.

Similar Items

Clocking in Modern VLSI Systems /
Published: (2009)

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

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

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

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

FPGA Design : Best Practices for Team-based Design /
by: Simpson, Philip.
Published: (2010)

Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
by: Gamatié, Abdoulaye.
Published: (2010)

Bio/CMOS Interfaces and Co-Design /
by: Carrara, Sandro.
Published: (2013)

Adaptable Embedded Systems /
Published: (2013)

Minimizing and Exploiting Leakage in VLSI Design /
by: Jayakumar, Nikhil., et al.
Published: (2010)

Hardware Acceleration of EDA Algorithms : Custom ICs, FPGAs and GPUs /
by: Khatri, Sunil P., et al.
Published: (2010)

Integrated Optical Interconnect Architectures for Embedded Systems /
Published: (2013)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /
by: Singh, Gaurav., et al.
Published: (2010)

Nanometer Variation-Tolerant SRAM : Circuits and Statistical Design for Yield /
by: Abu Rahma, Mohamed., et al.
Published: (2013)

Power-efficient System Design /
by: Panda, Preeti Ranjan., et al.
Published: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design /
by: Duan, Chunjie., et al.
Published: (2010)

Open Verification Methodology Cookbook
by: Glasser, Mark.
Published: (2009)

Processor and System-on-Chip Simulation /
Published: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices /
Published: (2010)

VLSI Design for Video Coding : H.264/AVC Encoding from Standard Specification to Chip /
by: Lin, Youn-Long Steve., et al.
Published: (2010)

Scalable Techniques for Formal Verification /
by: Ray, Sandip.
Published: (2010)

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /
Published: (2010)

Software Automatic Tuning : From Concepts to State-of-the-Art Results /
Published: (2010)

Extreme Low-Power Mixed Signal IC Design : Subthreshold Source-Coupled Circuits /
by: Tajalli, Armin., et al.
Published: (2010)

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

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

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

Nanosystems Design and Technology
by: DeMicheli, Giovanni., et al.
Published: (2009)

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

Security in Embedded Devices /
by: Gebotys, Catherine H.
Published: (2010)

Functional Design Errors in Digital Circuits : Diagnosis Correction and Repair /
by: Chang, Kai-hui., et al.
Published: (2009)

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

Embedded System Design : Modeling, Synthesis and Verification /
by: Gajski, Daniel D., et al.
Published: (2009)

Static Timing Analysis for Nanometer Designs A Practical Approach /
by: Bhasker, J., et al.
Published: (2009)

Embedded Software Design and Programming of Multiprocessor System-on-Chip : Simulink and System C Case Studies /
by: Popovici, Katalin., et al.
Published: (2010)

ESL Models and their Application : Electronic System Level Design and Verification in Practice /
by: Bailey, Brian., et al.
Published: (2010)

The Power of Assertions in SystemVerilog /
by: Cerny, Eduard., et al.
Published: (2010)

Quantifying and Exploring the Gap Between FPGAs and ASICs /
by: Kuon, Ian., et al.
Published: (2010)

Carbon Nanotube Electronics /
Published: (2009)

Hardware Software Co-Design of a Multimedia SOC Platform /
by: Chen, Sao-Jie., et al.
Published: (2009)

Cannot write session to /tmp/vufind_sessions/sess_8shdikdt2f234j01mdbo03p0jv