Test Pattern Generation using Boolean Proof Engines

QR Code

Test Pattern Generation using Boolean Proof Engines

Bibliographic Details
Main Authors:	Drechsler, Rolf. (Author), Eggersglüß, Stephan. (Author), Fey, Görschwin. (Author), Tille, Daniel. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Subjects:	Electronic circuits. Electronics. Microelectronics. Circuits and Systems. Electronics and Microelectronics, Instrumentation.
Online Access:	https://doi.org/10.1007/978-90-481-2360-5

Similar Items

Extreme Statistics in Nanoscale Memory Design /
Published: (2010)

Classical Circuit Theory /
by: Wing, Omar.
Published: (2009)

Reference-Free CMOS Pipeline Analog-to-Digital Converters /
by: Figueiredo, Michael., et al.
Published: (2013)

Nyquist AD Converters, Sensor Interfaces, and Robustness : Advances in Analog Circuit Design, 2012 /
Published: (2013)

ESD Design for Analog Circuits /
by: Vashchenko, Vladislav A., et al.
Published: (2010)

Chaos in Switching Converters for Power Management : Designing for Prediction and Control /
by: Rodríguez Vilamitjana, Enric., et al.
Published: (2013)

Ultra Low Power Transceiver for Wireless Body Area Networks /
by: Masuch, Jens., et al.
Published: (2013)

Robustness and Usability in Modern Design Flows /
by: Fey, Görschwin., et al.
Published: (2008)

How to gain gain A Reference Book on Triodes in Audio Pre-Amps /
by: Vogel, Burkhard.
Published: (2008)

System-Level Validation : High-Level Modeling and Directed Test Generation Techniques /
by: Chen, Mingsong., et al.
Published: (2013)

On-chip High-Voltage Generator Design /
by: Tanzawa, Toru.
Published: (2013)

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

Compilation and Synthesis for Embedded Reconfigurable Systems : An Aspect-Oriented Approach /
Published: (2013)

Energy-Efficient Communication Processors : Design and Implementation for Emerging Wireless Systems /
by: Fasthuber, Robert., et al.
Published: (2013)

Constraining Designs for Synthesis and Timing Analysis : A Practical Guide to Synopsys Design Constraints (SDC) /
by: Gangadharan, Sridhar., et al.
Published: (2013)

Variation-Aware Design of Custom Integrated Circuits: A Hands-on Field Guide /
by: McConaghy, Trent., et al.
Published: (2013)

Embedded Systems Design with FPGAs /
Published: (2013)

High-Level Modeling and Synthesis of Analog Integrated Systems /
by: Martens, Ewout S. J., et al.
Published: (2008)

Multi-Objective Optimization in Physical Synthesis of Integrated Circuits /
by: A. Papa, David., et al.
Published: (2013)

Partial Reconfiguration on FPGAs : Architectures, Tools and Applications /
by: Koch, Dirk.
Published: (2013)

Robust SRAM Designs and Analysis /
by: Singh, Jawar., et al.
Published: (2013)

Structured Analog CMOS Design
by: Stefanovic, Danica., et al.
Published: (2008)

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs /
by: Daněk, Martin., et al.
Published: (2013)

Designing TSVs for 3D Integrated Circuits /
by: Khan, Nauman., et al.
Published: (2013)

Design and Testing of Digital Microfluidic Biochips /
by: Zhao, Yang., et al.
Published: (2013)

RF MEMS Switches and Integrated Switching Circuits /
by: Liu, Ai-Qun.
Published: (2010)

Situation Awareness with Systems of Systems /
Published: (2013)

CMOS Integrated Capacitive DC-DC Converters /
by: Van Breussegem, Tom., et al.
Published: (2013)

Reconfigurable Switched-Capacitor Power Converters : Principles and Designs for Self-Powered Microsystems /
by: Ma, Dongsheng., et al.
Published: (2013)

Solid State Lighting Reliability : Components to Systems /
Published: (2013)

Fault-Tolerant Design /
by: Dubrova, Elena.
Published: (2013)

Wireless Power Transfer for Medical Microsystems /
by: Sun, Tianjia., et al.
Published: (2013)

More than Moore Creating High Value Micro/Nanoelectronics Systems /
Published: (2009)

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

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

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

Copper Interconnect Technology /
by: Gupta, Tapan.
Published: (2009)

Practical Aspects of Embedded System Design using Microcontrollers
by: Parab, Jivan., et al.
Published: (2008)

Model-Based Design of Adaptive Embedded Systems /
Published: (2013)

CMOS Receiver Front-ends for Gigabit Short-Range Optical Communications /
by: Aznar, Francisco., et al.
Published: (2013)