Scalable Techniques for Formal Verification /

QR Code

Scalable Techniques for Formal Verification /

Bibliographic Details
Main Author:	Ray, Sandip. (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. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.

Similar Items

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

VLSI Design for Video Coding : H.264/AVC Encoding from Standard Specification to Chip /
by: Lin, Youn-Long Steve., et al.
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)

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

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

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)

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

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

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

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

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

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

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

Adaptable Embedded Systems /
Published: (2013)

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

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

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

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

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

Clocking in Modern VLSI Systems /
Published: (2009)

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

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

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

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

Embedded System Design : Modeling, Synthesis and Verification /
by: Gajski, Daniel D., 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)

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

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers /
Published: (2017)

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

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

Carbon Nanotube Electronics /
Published: (2009)

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

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

Design and Verification of Microprocessor Systems for High-Assurance Applications /
Published: (2010)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
by: Mohanty, Saraju P., et al.
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)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
by: Dubey, Rahul.
Published: (2009)