Scalable Techniques for Formal Verification /

Código QR

Scalable Techniques for Formal Verification /

Detalles Bibliográficos
Autor principal:	Ray, Sandip. (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	eBook
Lenguaje:	English
Publicado:	New York, NY : Springer US : Imprint: Springer, 2010.
Edición:	1st ed. 2010.
Materias:	Electronic circuits. Computer-aided engineering. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design.

Ejemplares similares

Open Verification Methodology Cookbook
por: Glasser, Mark.
Publicado: (2009)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Adaptable Embedded Systems /
Publicado: (2013)

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

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

Nanosystems Design and Technology
por: DeMicheli, Giovanni., et al.
Publicado: (2009)

Standardized Functional Verification
por: Wiemann, Alan.
Publicado: (2008)

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

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

Clocking in Modern VLSI Systems /
Publicado: (2009)

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

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

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

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

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

CMOS Active Inductors and Transformers : Principle, Implementation, and Applications /
por: Yuan, Fei.
Publicado: (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 /
Publicado: (2017)

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

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

Carbon Nanotube Electronics /
Publicado: (2009)

Security in Embedded Devices /
por: Gebotys, Catherine H.
Publicado: (2010)

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

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

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

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

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

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