A Practical Introduction to PSL

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Eisner, Cindy (Συγγραφέας), Fisman, Dana (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2006.
Σειρά:	Series on Integrated Circuits and Systems,
Θέματα:	Engineering. Programming languages (Electronic computers). Computer-aided engineering. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Hardware Verification with C++ A Practitioner’s Handbook /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

Hardware Verification with SystemVerilog An Object-Oriented Framework /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

SystemC Methodologies and Applications /
Έκδοση: (2003)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R.
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems /
ανά: Verhulst, Eric, κ.ά.
Έκδοση: (2011)

FPGA Design Best Practices for Team-based Design /
ανά: Simpson, Philip
Έκδοση: (2010)

Principles of VLSI RTL Design A Practical Guide /
ανά: Churiwala, Sanjay, κ.ά.
Έκδοση: (2011)

Understanding and Using the Controller Area Network Communication Protocol Theory and Practice /
ανά: Di Natale, Marco, κ.ά.
Έκδοση: (2012)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Power-Aware Testing and Test Strategies for Low Power Devices
Έκδοση: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations /
ανά: Garg, Rajesh, κ.ά.
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies /
ανά: Bosio, Alberto, κ.ά.
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
ανά: Gulati, Kanupriya, κ.ά.
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie, κ.ά.
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil, κ.ά.
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip /
ανά: Lin, Youn-Long Steve, κ.ά.
Έκδοση: (2010)

Open Verification Methodology Cookbook
ανά: Glasser, Mark
Έκδοση: (2009)

C Compilers for ASIPs Automatic Compiler Generation with LISA /
ανά: Hohenauer, Manuel, κ.ά.
Έκδοση: (2010)

Processor and System-on-Chip Simulation
Έκδοση: (2010)

Integrated Optical Interconnect Architectures for Embedded Systems
Έκδοση: (2013)

Power-efficient System Design
ανά: Panda, Preeti Ranjan, κ.ά.
Έκδοση: (2010)

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction /
Έκδοση: (2010)

Multiprocessor System-on-Chip Hardware Design and Tool Integration /
Έκδοση: (2011)

Focal-Plane Sensor-Processor Chips
Έκδοση: (2011)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits /
ανά: Tajalli, Armin, κ.ά.
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav, κ.ά.
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results /
Έκδοση: (2010)

Design of Image Processing Embedded Systems Using Multidimensional Data Flow
ανά: Keinert, Joachim, κ.ά.
Έκδοση: (2011)

Ultra-thin Chip Technology and Applications
Έκδοση: (2011)

Run-time Adaptation for Reconfigurable Embedded Processors
ανά: Bauer, Lars, κ.ά.
Έκδοση: (2011)

Low-Power Variation-Tolerant Design in Nanometer Silicon
Έκδοση: (2011)

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Έκδοση: (2011)

Cloud Connectivity and Embedded Sensory Systems
ανά: Spaanenburg, Lambert, κ.ά.
Έκδοση: (2011)

Voltage Regulators for Next Generation Microprocessors
ανά: López, Toni, κ.ά.
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών