Cargando…

A Practical Introduction to PSL

A Practical Introduction to PSL describes the Property Specification Language PSL, recently standardized as IEEE Std 1850-2005. PSL provides a way to express properties of a design. Both authors, Cindy Eisner (IBM Haifa Research Laboratory, Haifa University Campus, Haifa, Israel) and Dana Fisman (Th...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Eisner, Cindy (Autor), Fisman, Dana (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Colección:	Integrated Circuits and Systems,
Temas:	Electronic circuits. Computer-aided engineering. Compilers (Computer programs). Electronic Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Compilers and Interpreters.
Acceso en línea:	Texto Completo

Ejemplares similares

Hardware Verification with C++ A Practitioner's Handbook /
por: Mintz, Mike, et al.
Publicado: (2006)

Hardware Verification with System Verilog An Object-Oriented Framework /
por: Mintz, Mike, et al.
Publicado: (2007)

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

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

A Practical Introduction to Hardware/Software Codesign
por: Schaumont, Patrick R.
Publicado: (2010)

Principles of VLSI RTL Design A Practical Guide /
por: Churiwala, Sanjay, et al.
Publicado: (2011)

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

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
por: Di Natale, Marco, et al.
Publicado: (2012)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
por: Verhulst, Eric, et al.
Publicado: (2011)

3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics
por: Li, Simon, et al.
Publicado: (2012)

Reliability, Availability and Serviceability of Networks-on-Chip
por: Cota, Érika, et al.
Publicado: (2012)

Low Power Networks-on-Chip
Publicado: (2011)

Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach /
Publicado: (2011)

Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances /
por: Kanekawa, Nobuyasu, et al.
Publicado: (2011)

Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Publicado: (2011)

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

C Compilers for ASIPs Automatic Compiler Generation with LISA /
por: Hohenauer, Manuel, et al.
Publicado: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
por: Keinert, Joachim, et al.
Publicado: (2011)

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

Nano-Electronic Devices Semiclassical and Quantum Transport Modeling /
Publicado: (2011)

Focal-Plane Sensor-Processor Chips
Publicado: (2011)

Adaptable Embedded Systems
Publicado: (2013)

Ultra High-Speed CMOS Circuits Beyond 100 GHz /
por: Gharavi, Sam, et al.
Publicado: (2012)

Energy Harvesting Systems Principles, Modeling and Applications /
Publicado: (2011)

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
por: Ahuja, Sumit, et al.
Publicado: (2012)

CMOS Circuits for Passive Wireless Microsystems
por: Yuan, Fei
Publicado: (2011)

Ultra-thin Chip Technology and Applications
Publicado: (2011)

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

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

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

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

Reconfigurable Computing From FPGAs to Hardware/Software Codesign /
Publicado: (2011)

High-Level Verification Methods and Tools for Verification of System-Level Designs /
por: Kundu, Sudipta, et al.
Publicado: (2011)

Error Control for Network-on-Chip Links
por: Fu, Bo, et al.
Publicado: (2012)

Analog Layout Synthesis A Survey of Topological Approaches /
Publicado: (2011)

Heterogeneous Multicore Processor Technologies for Embedded Systems
por: Uchiyama, Kunio, et al.
Publicado: (2012)

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

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

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

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
por: Garg, Rajesh
Publicado: (2010)

Cannot write session to /tmp/vufind_sessions/sess_3kennt3ctcqjm3gu8dt4pmo64s