Imagen de Portada

Constraint-Based Verification

Guardado en:

Autor Principal:	Yuan, Jun.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Pixley, Carl., Aziz, Adnan.
Formato:	Electrónico
Idioma:	English
Publicado:	Boston, MA : Springer Science+Business Media, Inc., 2006.
Materias:	Engineering Computer aided design Systems engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Electronic and Computer Engineering
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Full-Chip Nanometer Routing Techniques
por: Ho, Tsung-Yi.
Publicado: (2007)

Taxonomies for the Development and Verification of Digital Systems
por: Bailey, Brian.
Publicado: (2005)

Assertion-Based Design
por: Foster, Harry.
Publicado: (2005)

Abstraction Refinement for Large Scale Model Checking
por: Wang, Chao.
Publicado: (2006)

Direct Transistor-level Layout for Digital Blocks
por: Gopalakrishnan, Prakash.
Publicado: (2005)

Mixed-Signal Layout Generation Concepts
por: Lin, Chieh.
Publicado: (2005)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
por: Mintz, Mike.
Publicado: (2007)

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick.
Publicado: (2006)

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
por: Spear, Chris.
Publicado: (2006)

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria.
Publicado: (2006)

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin.
Publicado: (2005)

SAT-Based Scalable Formal Verification Solutions
por: Ganai, Malay K.
Publicado: (2007)

Hardware Verification with C++ A Practitioners Handbook /
por: Mintz, Mike.
Publicado: (2006)

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei.
Publicado: (2007)

Routing Congestion in VLSI Circuits: Estimation and Optimization
por: Saxena, Prashant.
Publicado: (2007)

A Practical Introduction to PSL
por: Eisner, Cindy.
Publicado: (2006)

Rapid Prototyping of Digital Systems
por: Hamblen, James O.
Publicado: (2006)

Thermal and Power Management of Integrated Circuits
por: Vassighi, Arman.
Publicado: (2006)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
por: CASTRO-LÓPEZ, R.
Publicado: (2006)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
por: Chinnery, David.
Publicado: (2007)

Leakage in Nanometer CMOS Technologies
por: Narendra, Siva G.
Publicado: (2006)

Embedded System Design
por: Marwedel, P.
Publicado: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500 /
por: Silva, Francisco.
Publicado: (2006)

A Roadmap for Formal Property Verification
por: DasGupta, Pallab.
Publicado: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling /
por: Sutherland, Stuart.
Publicado: (2006)

Interconnect Noise Optimization in Nanometer Technologies
por: Elgamel, Mohamed A.
Publicado: (2006)

Embedded System Design
por: Marwedel, Peter.
Publicado: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation /
por: Patel, Hiren D.
Publicado: (2005)

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility /
por: Ben Dhia, Sonia.
Publicado: (2006)

Dynamics of Microelectromechanical Systems
por: Lobontiu, Nicolae.
Publicado: (2007)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
por: Sutherland, Stuart.
Publicado: (2007)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
por: Mishra, Prabhat.
Publicado: (2005)

Writing Testbenches using System Verilog
por: Bergeron, Janick.
Publicado: (2006)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
por: Ma, Zhe.
Publicado: (2007)

Effective Functional Verification Principles and Processes /
por: Vasudevan, Srivatsa.
Publicado: (2006)

Designing with video Focusing the user-centred design process /
por: Ylirisku, Salu.
Publicado: (2007)

Practical Grey-box Process Identification Theory and Applications /
por: Bohlin, Torsten.
Publicado: (2006)

Inverse Problems in Electric Circuits and Electromagnetics
por: Chechurin, V. L.
Publicado: (2007)

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005 /
por: Davidson, Joseph K.
Publicado: (2007)

Advances in Integrated Design and Manufacturing in Mechanical Engineering II
por: Tichkiewitch, S.
Publicado: (2007)